1. Carter, J. M., Lin, L., and Poore, J. H. (2008). Automated Functional Testing of Simulink Control Models. In Proceedings of the 1 st Workshop on Model-based Testing in Practice-MoTip2008, Editors: Bauer, T., Eichler, H., Rennoch, A., ISBN: 978-3-8167-7624-6, Fraunhofer IRB Verlag, Berlin, Germany.
2. Clarke, J. M. (1998). Automated Test Generation from Behavioral Models. In theProceedings of the 11th Software Quality Week (QW'98), Software Research Inc., San Francisco, CA.