Hostomský S, Jelínek I. A Formal Design Method. Acta Polytech [Internet]. 2000 Jan. 3 [cited 2025 May 12];40(3). Available from: https://ojst.is.cvut.cz/ojs/index.php/ap/article/view/82