@inproceedings{JM94a, 
    title = {A Modular State/Transition Approach for Programming Real-Time Systems }, 
    author = {Jourdan, Muriel and Maraninchi, Florence},
    month = {jun},
    year = {1994},
    booktitle = {{ACM} Sigplan Workshop on Language, compiler and tool support for real-time systems},
    address = {Orlando, FL},
    publisher = {ACM Sigplan Notices},
    team = {SYNC},
}