The UniForM Workbench, a Universal Development Environment for Formal Methods. - Bernd Krieg-Brückner; Jan Peleska 001; Ernst-Rüdiger Olderog; Alexander Baer (World Congress on Formal Methods, 1999)