Hostomský, S. and Jelínek, I. 2000. A Formal Design Method. Acta Polytechnica. 40, 3 (Jan. 2000). DOI:https://doi.org/10.14311/82.