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