@inproceedings{1057814,
    title = "Design of timed systems using a real-time process algebra",
    author = "Massart, Thierry and Begin, Erik van den and Nuffel, Eric van",
    year = "1999",
    pages = "161-165",
    booktitle = "Β' Πανελλήνιο Συμπόσιο Λογικής: πρακτικά"
}