Born, M.M.BornHoffmann, A.A.HoffmannLi, M.M.LiSchieferdecker, I.I.Schieferdecker2022-03-092022-03-091999https://publica.fraunhofer.de/handle/publica/334376en004Using formal methods for the design of telecommunication servicesconference paper