Modular synthesis of reactive systems (1992)

by R Rosner