Eyad Alkassar Mark A. Hillebrand Steffen Knapp Rostislav Rusev Sergey Tverdyshev Formal Device and Programming Model for a Serial Interface. 2007 VERIFY http://ceur-ws.org/Vol-259/paper04.pdf conf/cade/2007verify db/conf/cade/verify2007.html#AlkassarHKRT07