Accounting for platform effects in the design of real-time software using model-based methods | IBM Journals & Magazine | IEEE Xplore