Scheduling overload for real-time systems using SMT solver | IEEE Conference Publication | IEEE Xplore