A Framework for Executable Systems Modeling