Modal specification is a well-known formalism used as an abstraction theory for transition systems. Modal specifications are transition systems equipped with two types of transitions: must-transitions that are mandatory to any implementation, and maytransitions that are optional. The duality of transitions allows for developing a unique approach for both logical and structural compositions, and...
