Time-budgeting: a component based development methodology for real-time embedded systems.

Published in: Formal Aspects Comput. (2014)

Keyphrases