implementation, and verification. Examples: Rigorous Approach to
Industrial Software Engineering (RAISE) Specification Language (RSL),
LOTOS (language for specifying communications protocols).
For Further Reading