A Modular SystemC RTOS Model for Uncertainty Analysis. - Lorenzo Lazzara; Giulio Mosé Mancuso; Fabio Cremona; Alessandro Ulisse (CyPhy/WESE, 2019)