Reference:

Nikola Benes and Jan Kretinsky. Process algebra for modal transition systemses. In MEMICS, pages 9–18, 2010.

Suggested BibTeX entry:

@inproceedings{DBLP:confmemicsBenesK10,
    author = {Nikola Benes and Jan Kretinsky},
    booktitle = {MEMICS},
    pages = {9-18},
    title = {Process Algebra for Modal Transition Systemses},
    year = {2010}
}