QuaRTOS-DSE: A Tool for Design Space Exploration of Embedded Real-Time System | IEEE Conference Publication | IEEE Xplore