এই পাঠটি: High-level system modeling : specification languages / edited by Jean-Michel Bergé, Oz Levia, Jacques Rouillard.