172
A. Cimatti et al.
16. Stigge, M., Ekberg, P., Guan, N., Yi, W.: The digraph real-time task model. In:
2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium. pp. 71–80. IEEE (2011)
17. Stigge, M., Yi, W.: Combinatorial abstraction refinement for feasibility
analysis of static priorities. Real-Time Systems 51(6), 639–674 (2015).
https://doi.org/10.1007/s11241-015-9220-5
Open Access This chapter is licensed under the terms of the Creative Commons
Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/),
which permits use, sharing, adaptation, distribution and reproduction in any medium
or format, as long as you give appropriate credit to the original author(s) and the
source, provide a link to the Creative Commons license and indicate if changes were
made.
The images or other third party material in this chapter are included in the chapter’s
Creative Commons license, unless indicated otherwise in a credit line to the material. If
material is not included in the chapter’s Creative Commons license and your intended
use is not permitted by statutory regulation or exceeds the permitted use, you will need
to obtain permission directly from the copyright holder.
A. Cimatti et al.
16. Stigge, M., Ekberg, P., Guan, N., Yi, W.: The digraph real-time task model. In:
2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium. pp. 71–80. IEEE (2011)
17. Stigge, M., Yi, W.: Combinatorial abstraction refinement for feasibility
analysis of static priorities. Real-Time Systems 51(6), 639–674 (2015).
https://doi.org/10.1007/s11241-015-9220-5
Open Access This chapter is licensed under the terms of the Creative Commons
Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/),
which permits use, sharing, adaptation, distribution and reproduction in any medium
or format, as long as you give appropriate credit to the original author(s) and the
source, provide a link to the Creative Commons license and indicate if changes were
made.
The images or other third party material in this chapter are included in the chapter’s
Creative Commons license, unless indicated otherwise in a credit line to the material. If
material is not included in the chapter’s Creative Commons license and your intended
use is not permitted by statutory regulation or exceeds the permitted use, you will need
to obtain permission directly from the copyright holder.