Using TILCO for Specifying Real-Time Systems.

Riccardo Mattolini, Paolo Nesi

Browse the full ICECCS paper archive.