Kapeti, Paraskevi,Κεφαλάς, Πέτρος, A design language and tool for x-machines specification, 134-145, 2000, World Scientific,