2003
Design and Modelling of an I2C Bus Controller.
Proceedings of the Forum on specification and Design Languages, 2003