selected publications chapter An object-oriented airport: Specification and refinement in Maude. Springer eBooks. 351-367. 1995