@inproceedings{Safranek2003,
 author = {David Šafránek},
 booktitle = {Automated Software Engineering, 2003. Proceedings. 18th IEEE International Conference on},
 doi = {10.1109/ASE.2003.1240340},
 issn = {1938-4300},
 keywords = {concurrency control;formal specification;specification languages;visual languages;UML;component-based design methods;concurrent systems;data-flow based approach;formal visual language;heterogeneous systems specification;state-based approach;visual formalism;visual specification;Application software;Computational modeling;Design methodology;Hardware;Informatics;Petri nets;Software design;Software engineering;Software systems;Unified modeling language},
 month = {Oct},
 pages = {369-372},
 title = {Visual specification of concurrent systems},
 year = {2003}
}