Summarizing a time-sensitive control-flow checking monitoring for multitask systems-on-chip. - Fabian Vargas 001; Leonardo Picolli; Antonio A. de Alecrim Jr.; Marlon Moraes; Marcio Gama (FPT, 2006)