Classes
AutomataSpecification
Base class for all Automata-based Specification Models
Specification
Base class for all specification models