Timing Constraints in Message Sequence Chart Specifications.

Hanêne Ben-Abdallah Stefan Leue Timing Constraints in Message Sequence Chart Specifications. 91-106 1997 conf/forte/1997 FORTE db/conf/forte/forte1997.html#Ben-AbdallahL97