Armen Gabrielian Matthew K. Franklin State-Based Specification of Complex Real-Time Systems. 2-11 1988 conf/rtss/1988 IEEE Real-Time Systems Symposium db/conf/rtss/rtss1988.html#GabrielianF88