On modeling approach for embedded real-time software simulation testing | BIAI Journals & Magazine | IEEE Xplore