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