Modeling and solving real-time scheduling problems by stochastic integer programming