Modelling and analysis of a commercial field bus protocol.

Alexandre David, Wang Yi

Browse the full ECRTS paper archive.