Platform-independent Design for Embedded Real-time Systems .
Jinfeng Huang, Jeroen P. M. Voeten, Andre Ventevogel, L.J. van Bokhoven · 2003
With the increasing complexity of the emerging embedded real-time systems, traditional design approaches can not provide su#cient support for the development of these systems anymore. They especially lack the ability to trace and analyse real-time system properties.