M Willems, V Bürsgens, H Keding, T Grötker… - … the 34th Annual Design …, 1997 - dl.acm.org
… Using the simulation environment HYBRIS 2 which is an integral part of FRIDGE, it is … Within
this paper we have presented FRIDGE, a tool that allows to achieve a bittrue speci cation of …