Serialdriver: improving the reliability of device drivers through serialization | IEEE Journals & Magazine | IEEE Xplore