The I²C-Bus in Discrete-Time Process Algebra. - S. H. J. Bos; Michel A. Reniers (Sci. Comput. Program., 1997)