Logical Time and Temporal Logics: Comparing UML MARTE/CCSL and PSL.

Rgis Gascon, Frdric Mallet, Julien Deantoni

Browse the full TIME paper archive.