@inproceedings{Safranek2002,
 address = {Milovy},
 author = {David Šafránek},
 booktitle = {Proceedings SOFSEM 2002 Student Research Forum},
 keywords = {graphical specification; SGCCS; CCS; real-time systems},
 language = {eng},
 location = {Milovy},
 note = {Best paper award.},
 pages = {47-52},
 publisher = {Mária Bieliková},
 title = {SGCCS: A Graphical Language for Real-Time Systems},
 url = {http://www.fi.muni.cz/~xsafran1/online.html},
 year = {2002}
}