Hostomský, S., and I. Jelínek. “A Formal Design Method”. Acta Polytechnica, vol. 40, no. 3, Jan. 2000, https://doi.org/10.14311/82.