Model-Based Engineering in Real-Time Embedded Systems: Specifying Timing Constraints

(25) pp. 230-239 Damjan Temelkovski and Ljerka Beus-Dukic