@conference{82, author = {Michael Balser and Oscar Coltell and Joyce van Croonenborg and Christoph Duelli and Frank van Harmelen and Albert Jovell and Peter Lucas and Mar Marcos and Silvia Miksch and Wolfgang Reif and Kitty Rosenbrand and Andreas Seyfang and Annette Teije}, title = {{Protocure: Integrating Formal Methods in the Development Process of Medical Guidelines and Protocols}}, year = {2004}, journal = {Computer-based Support for Clinical Guidelines and Protocols. Proceedings of the Symposium on Computerized Guidelines and Protocols (CGP 2004)}, volume = {101}, pages = {103–107}, publisher = {IOS Press}, language = {eng}, }