XDEVS: A hybrid system modeling framework