Evaluation of Maude as a Test Generation Engine for Automotive Operating Systems | IEEE Conference Publication | IEEE Xplore