Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario. - Paul Fleischer; Lars Michael Kristensen (Petri Nets, 2008)

Modelling the configuration/management API middleware using coloured petri nets. - Paul Fleischer; Lars Michael Kristensen (SimuTools, 2008)

Modelling and Validation of Secure Connection Establishment in a Generic Access Network Scenario. - Lars Michael Kristensen; Paul Fleischer (Fundam. Informaticae, 2009)