Timing requirements for time-driven systems using augmented Petri nets (1983)

by N Roussopoulos
Venue:IEEE Trans. Software Eng