High-Level System Modeling: Specification Languages - Jean-Michel Bergé, Oz Levia et Jacques Rouillard