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