“…Abstractions obtained by natural projections have been extensively used in the Supervisory Control Theory (Ramadge and Wonham, 1989), as for example in control with partial observation of events (Wonham, 2011), in hierarchical control (Hill and Tilbury, 2006;Cunha and Cury, 2007;Feng and Wonham, 2008;Schmidt and Breindl, 2011), in modular synthesis (Hill and Tilbury, 2006;Schmidt et al, 2006;Feng and Wonham, 2006), in compositional verification of the nonblocking property (Hill and Tilbury, 2006;Flordal and Malik, 2009;Pena et al, 2009;Pena et al, 2010b), among others.…”