S. Hostomský and I. Jelínek, “A Formal Design Method”, Acta Polytech, vol. 40, no. 3, Jan. 2000.