Marco Antoniotti Alberto Ferrari Luciano Lavagno Alberto L. Sangiovanni-Vincentelli Ellen Sentovich Embedded system design specification: merging reactive control and data computation. 3302-3307 2001 CDC https://doi.org/10.1109/.2001.980331 conf/cdc/2001 db/conf/cdc/cdc2001.html#AntoniottiFLSS01