Κεφαλάς, Πέτρος,Ελευθεράκης, Γεώργιος,Κεχρής Βαγγέλης, Modular modeling of large-scale systems using communicating X-machines, 20-29, 2001, Εκδοτικός Οργανισμός Λιβάνη,