1. The languages of STATEMATE1,1987
2. Using statecharts for describing the communication between complex systems;Bar-Tur,1986
3. The ESTEREL synchronous programming language and its mathematical semantics;Berry,1985
4. Functional specification and description language (SDL);Recommendations Z.101-Z.104,1981
5. Automatic verification of finite state concurrent systems using temporal logic specifications;Clarke;ACM Trans. Prog. Lang. Syst.,1986