On the integration of model-driven design and dynamic assertion-based verification for embedded software.
Giuseppe Di GuglielmoLuigi Di GuglielmoAndreas FoltinekMasahiro FujitaFranco FummiCristina MarconciniGraziano PravadelliPublished in: J. Syst. Softw. (2013)