Clocks vs. instants relations: Verifying CCSL time constraints in UML/MARTE models.

Judith Peters, Nils Przigoda, Robert Wille, Rolf Drechsler

Browse the full MEMOCODE paper archive.