Andronikos, Theodore,Potikas, Petros M.,Zachos, Stathis, A distributed temporal logic framework for the verification and synthesis of reactive systems, 1-9, 2001, Εκδοτικός Οργανισμός Λιβάνη,