A Formal Method for Modeling, Verification and Synthesis of Embedded Reactive Systems
Raimundo da Silva Barreto
Ruiter Braga Caldas
Lucas Carvalho Cordeiro