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