Hostomský, S., and I. Jelínek. 2000. “A Formal Design Method”. Acta Polytechnica 40 (3). https://ojs.cvut.cz/ojs/index.php/ap/article/view/82.