Detection of Common Problems in Real-Time and Multicore Systems Using Model-Based Constraints 2016-03-16