Linehan, Eamonn; Clarke, Siobhán
(DATE10, 2010)
Recent advances in both the capabilities and accessibility of embedded systems have resulted in the potential to build increasingly complex systems that consequently are difficult to develop, test and deploy. Model-driven ...