@inproceedings{inproceedingsdaff9ede,
title   = {On the choice of models of computation for writing executable specifications of system level designs},
author = {Jeukens, Ivan and Strum, Marius},
year = {2000},
publisher = {IEEE},
booktitle   = {Symposium on Integrated Circuits and Systems Design}
}