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