1. Lecture Notes in Computer Science;R Alur,1999
2. Lecture Notes in Computer Science;G von Bochmann,2008
3. von Bochmann, G.: Deriving component designs from global requirement. In: Baelen, S.V., Graf, S., Filali, M., Weigert, T., Gerard, S. (eds.) Proceedings of the First International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB 2008), Toulouse, CEUR Workshop Proceedings, vol. 503, pp. 55–69 (2008)
4. von Bochmann, G., Jourdan, G.V.: Partial Order Input/Output Automata: Model and Test, unpublished document
5. Bougé, L., Choquet, N., Fribourg, L., Gaudel, M.C.: Test sets generation from algebraic specifications using logic programming. J. Syst. Softw. 6(3), 343–360 (1986)