@INPROCEEDINGS{grahlmann:10/95,
        AUTHOR             = {Bernd Grahlmann},
        ADDRESS            = {{Budapest Hungary}},
        BOOKTITLE          = {{Proceedings of RELECTRONIC'95 (Ninth Symposium on
                               Quality and Reliability in Electronics)}},
        MONTH              = oct,
        ORGANIZATION       = {{Scientific Society for Telecommunications}},
        PAGES              = {251--256},
        TITLE              = {{Verifying Telecommunication Protocols with PEP}},
        YEAR               = {{1995}},
        ABSTRACT           = {
                 Nowadays telecommunication services become more and
                 more complex.  Because of the increasing comfort of
                 these services the design and especially the
                 verification of the underlying protocols is an
                 extremely difficult task.  In general protocols are only
                 extensively tested but not verified due to the lack of
                 powerful tools.  Within the PEP project a tool has been
                 developed which is well suited to design
                 telecommunication protocols with a parallel
                 specification and programming language called
                 B(PN){$^2$}.  Furthermore the automatic translation into
                 Petri nets allows the efficient verification of various
                 interesting properties by use of a partial order based
                 model checking algorithm.
                             },
        KEYWORDS           = {Protocols, Petri nets, Verification, Model checking, Tool.}
}