Chang-yu Wang, Kishor S. Trivedi. Integration of Specification for Modeling and Specification for System Design. In Marco Ajmone Marsan, editor, Application and Theory of Petri Nets 1993, 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993, Proceedings. Volume 691 of Lecture Notes in Computer Science, pages 473-492, Springer, 1993.
Abstract is missing.