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