TY  - BOOK
AU  - Aceto, Luca, etal
TI  - Reactive systems: modeling specification and verification
SN  - 9780521875462
CY  - Cambridge
ER  -