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