Sáez Barona, Sergio; Real Sáez, Jorge Vicente; Crespo, Alfons(Springer, 2012)
In this paper we propose an approach for building real-time systems under a combination of requirements: specification and handling of operating modes and mode changes; implementation on top of a multiprocessor platform; ...