Enhanced IEEE system life cycle: a reactive real-time systems development model | IEEE Conference Publication | IEEE Xplore