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