Designing a Mathematically Verified I2C Device Driver Using ASD. - Arjen Klomp; Herman W. Roebbers; Ruud Derwig; Leon Bouwmeester (CPA, 2009)