Authors: Staunstrup, J Andersen, HR Hulgaard, H Lind-Nielsen, J Larsen, KG Behrmann, G Kristoffersen, K Skou, A Leerberg, H Theilgaard, NB

Citation: J. Staunstrup et al., Practical verification of embedded software, COMPUTER, 33(5), 2000, pp. 68