@inproceedings{1043026, title = "A design language and tool for x-machines specification", author = "Kapeti, Paraskevi and Κεφαλάς, Πέτρος", year = "2000", pages = "134-145", publisher = "World Scientific", booktitle = "Advances in informatics. 7th Hellenic Conference on Informatics (HCI '99)" }