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