Integration of Logical and Physical Properties of Embedded Systems by Use of Time Petri Nets.

Francesca Saglietti

Browse the full SAFECOMP paper archive.