--- res: bibo_authorlist: - foaf_Person: foaf_givenName: Krishna foaf_name: Sudhakar, Krishna foaf_surname: Sudhakar - foaf_Person: foaf_givenName: Yuhong foaf_name: Zhao, Yuhong foaf_surname: Zhao - foaf_Person: foaf_givenName: Franz-Josef foaf_name: Rammig, Franz-Josef foaf_surname: Rammig dct_date: 2014^xs_gYear dct_language: eng dct_publisher: IEEE Xplore@ dct_title: Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System@ ...