A university framework for correct by construction IC design. - Tadeusz Grabowiecki; Adam Pawlak; Wojciech Sakowski (Microprocess. Microprogramming, 1988)