Hostomský, S.; Jelínek, I. A Formal Design Method. Acta Polytech 2000, 40.