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