Hostomský, S. and Jelínek, I. (2000) “A Formal Design Method”, Acta Polytechnica, 40(3). Available at: https://ojs.cvut.cz/ojs/index.php/ap/article/view/82 (Accessed: 2 May 2024).