Petitpierre, ClaudeWarkentyne, Henry2005-03-162005-03-16199410.5075/epfl-thesis-1246https://infoscience.epfl.ch/handle/20.500.14299/209731enA pragmatic formal approach to protocol specification and implementationthesis::doctoral thesis