Hostomský, S. and Jelínek, I. 2000. A Formal Design Method. Acta Polytechnica. 40, 3 (Jan. 2000).