Model-based simulation at runtime with abstract state machines