Piotr Kosiuczenko
-
A Formal Model for SDL Specifications Based on Timed Rewriting Logic
Automated Software Engineering
Towards An Integration Of Message Sequence Charts And Timed Maude
Journal of Integrated Design & Process Science