S. H. J. Bos Michel A. Reniers The I²C-Bus in Discrete-Time Process Algebra. 235-258 1997 29 Sci. Comput. Program. 1-2 db/journals/scp/scp29.html#BosR97