Prof. Dr. rer. nat. Stefan Kugele

Room: K305
Subject Area: Model-based Systems Engineering und Software Engineering
Faculty: Fakultät I

Research

Technically challenging systems in mobility continue to grow in complexity due to developments in automated driving or flying. As a result, the amount of software and AI methods in the systems is increasing strongly, and the operating states must be monitored more comprehensively. To master this increasing complexity and meet the high demand for quality and reliability, methods of model-based system engineering and research into suitable approaches for modelling systems that contain data-based AI components are necessary. Model-based systems engineering is dedicated to these tasks at the interface between engineering sciences and computer science.

  • In research, we use mathematically precise methods to ensure the correctness of these systems.
  • We look at the interplay between humans, the environment, and the system operating within it to get a precise idea of what self-adaptive and autonomous systems are. Only then are specification, modelling, and analysis possible in a meaningful way.

 

Current Projects:

Vita

  • Since 07/2020: Research Professor for Model-based Systems Engineering and Software Engineering at THI
  • 10/2015 – 06/2020: Temporary Academic Council, Department of Informatics, Chair of Software & Systems Engineering, Technical University of Munich
  • 11/2006 – 09/2015: Research Assistant, Department of Informatics, Chair of Foundations of Software Reliability and Theoretical Computer Science as well as Chair of Software & Systems Engineering, Technical University of Munich
  • 11/2006 – 11/2012: PhD at the Chair of Software & Systems Engineering, Technical University of Munich
  • 10/2000 – 10/2006: Studies of Computer Science with minor in Electrical Engineering, Technical University of Munich
     

Publications

2024
0.
KUGELE, Stefan and Franz WOTAWA , 2024 . 21st Workshop on Automotive Software Engineering (ASE’24) . In: Rick Rabiser; Manuel Wimmer; Iris Groher; Andreas Wortmann; Bianca Wiesmayr . Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik. Page 165-166. ISBN 978-3-88579-737-1. Available at : https://doi.org/10.18420/sw2024_55
0.
COSTA DE ARAUJO, João Paulo , Balahari Vignesh BALU , Eik REICHMANN , Jessica KELLY , Stefan KUGELE , Núria MATA and Lars GRUNSKE , 2024 . Applying Concept-Based Models for Enhanced Safety Argumentation . Proceedings: 2024 IEEE 35th International Symposium on Software Reliability Engineering (ISSRE 2024). Page 272-283. ISBN 979-8-3503-5388-4. Available at : https://doi.org/10.1109/ISSRE62328.2024.00034
0.
KUGELE, Stefan , Lorenz SCHREYER and Martin LAMPRECHT , 2024 . Cause-Effect Chain-Based Diagnosis of Automotive Onboard Energy Systems . In: Matthias Galster; Patrizia Scandurra; Tommi Mikkonen; Pablo Oliveira Antonino; Elisa Yumi Nakagawa; Elena Navarro . Software Architecture: 18th European Conference, ECSA 2024 Luxembourg City, Luxembourg, September 3?6, 2024 Proceedings. Page 105-120. ISBN 978-3-031-70797-1. Available at : https://doi.org/10.1007/978-3-031-70797-1_7
0.
RAMIC, Amra and Stefan KUGELE , 2024 . Simulation-based Support for Semi-automated Automotive Safety Analysis . 2023 IEEE 26th International Conference on Intelligent Transportation Systems (ITSC). Page 1787-1794. ISBN 979-8-3503-9946-2. Available at : https://doi.org/10.1109/ITSC57777.2023.10422688
2023
0.
KUGELE, Stefan and Lars GRUNSKE , 2023 . 20th Workshop on Automotive Software Engineering (ASE’23) . In: Gregor Engels; Regina Hebig; Matthias Tichy . Software Engineering 2023: Fachtagung des GI-Fachbereichs Softwaretechnik. Page 137-138. ISBN 978-3-88579-726-5. Available at : https://dl.gi.de/items/a826d18c-1633-4dc8-8efe-e745f26e66ce
0.
PETROVSKA, Ana , Thomas HUTZELMANN and Stefan KUGELE , 2023 . A Theoretical Framework for Self-Adaptive Systems: Specifications, Formalisation, and Architectural Implications . SAC '23: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing. Page 1440-1449. ISBN 978-1-4503-9517-5. Available at : https://doi.org/10.1145/3555776.3577665
0.
BUCAIONI, Alessio , Amleto DI SALLE , Ludovico IOVINO , Stefan KUGELE and Yanja DAJSUREN , 2023 . Joint Workshop on Model-Driven Engineering for Software Architecture (MDE4SA) and International Workshop on Automotive System/Software Architectures (WASA) . Proceedings: IEEE 20th International Conference on Software Architecture Companion. Page 246-247. ISBN 978-1-6654-6459-8. Available at : https://doi.org/10.1109/ICSA-C57050.2023.00059
0.
RATHOD, Vishakha , Thomas CEBULLA and Stefan KUGELE , 2023 . Traceability Evaluation in Requirements Engineering According to Automotive SPICE . In: Kurt Schneider; Fabiano Dalpiaz; Jennifer Horkoff . Proceedings: 31st IEEE International Requirements Engineering Conference: RE 2023. Page 223-232. ISBN 979-8-3503-2689-5. Available at : https://doi.org/10.1109/RE57278.2023.00030
2022
0.
KUGELE, Stefan and Manfred BROY , 2022 . Architecture as a Backbone for Safe DevOps in Automotive Systems . 2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC). Page 4145-4150. ISBN 978-1-6654-6880-0. Available at : https://doi.org/10.1109/ITSC55140.2022.9922097
0.
PETROVSKA, Ana , Stefan KUGELE , Thomas HUTZELMANN , Theo BEFFART , Sebastian BERGEMANN and Alexander PRETSCHNER , 2022 . Defining adaptivity and logical architecture for engineering (smart) self-adaptive cyber–physical systems . Information and Software Technology , 2022 , 106866 . ISSN 0950-5849. Available at : https://doi.org/10.1016/j.infsof.2022.106866
0.
KUGELE, Stefan , Philipp OBERGFELL and Eric SAX , 2022 . Model-based resource analysis and synthesis of service-oriented automotive software architectures . In: Lars Grunske; J. Siegmund; A. Vogelsang . Software Engineering 2022. Page 55-56. ISBN 978-3-88579-714-2. Available at : https://doi.org/10.18420/se2022-ws-017
2021
0.
KUGELE, Stefan , Darko DURISIC , Yanja DAJSUREN and Miroslaw STARON , 2021 . 7th International Workshop on Automotive System/Software Architecture (WASA 2021) . Proceedings : IEEE 18th International Conference on Software Architecture Companion (ICSA-C 2021). Page 138-0. ISBN 978-1-6654-3910-7. Available at : https://doi.org/10.1109/ICSA-C52384.2021.00035
0.
CEBOTARI, Vadim and Stefan KUGELE , 2021 . Playground for Early Automotive Service Architecture Design and Evaluation . 2020 IEEE Intelligent Vehicles Symposium (IV). Page 1349-1356. ISBN 978-1-7281-6673-5. Available at : https://doi.org/10.1109/IV47402.2020.9304633
0.
KUGELE, Stefan , Ana PETROVSKA and Ilias GEROSTATHOPOULOS , 2021 . Towards a Taxonomy of Autonomous Systems . In: Stefan Biffl; Elena Navarro; Welf Löwe; Marjan Sirjani; Raffaela Mirandola; Danny Weyns . Software Architecture: 15th European Conference, ECSA 2021; Virtual Event, Sweden, September 13?17, 2021: Proceedings. Page 37-45. ISBN 978-3-030-86044-8. Available at : https://doi.org/10.1007/978-3-030-86044-8_3
2020
0.
KUGELE, Stefan , Christoph SEGLER and Thomas HUBREGTSEN , 2020 . Architectural Patterns for Cross-Domain Personalised Automotive Functions . Proceedings: IEEE 17th International Conference on Software Architecture (ICSA 2020). Page 191-201. ISBN 978-1-7281-4659-1. Available at : https://doi.org/10.1109/ICSA47634.2020.00026
2019
0.
SEGLER, Christoph , Stefan KUGELE , Philipp OBERGFELL , Mohd Hafeez OSMAN , Sina SHAFAEI , Eric SAX and Alois KNOLL , 2019 . Anomaly Detection for Advanced Driver Assistance Systems Using Online Feature Selection . 2019 IEEE Intelligent Vehicles Symposium (IV). Page 578-585. ISBN 978-1-7281-0560-4. Available at : https://doi.org/10.1109/IVS.2019.8814175
0.
0.
GEROSTATHOPOULOS, Ilias , Stefan KUGELE , Christoph SEGLER , Tomáš BUREŠ and Alois KNOLL , 2019 . Automated Trainability Evaluation for Smart Software Functions . Proceedings: 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019). Page 998-1001. ISBN 978-1-7281-2508-4. Available at : https://doi.org/10.1109/ASE.2019.00096
0.
SEGLER, Christoph , Stefan KUGELE and Alois KNOLL , 2019 . Context Discovery for Personalised Automotive Functions . The 2019 IEEE Intelligent Transportation Systems Conference - ITSC. Page 2470-2476. ISBN 978-1-5386-7024-8. Available at : https://doi.org/10.1109/ITSC.2019.8917161
0.
OBERGFELL, Philipp , Stefan KUGELE , Christoph SEGLER , Alois KNOLL and Eric SAX , 2019 . Continuous Software Engineering of Innovative Automotive Functions : an Industrial Perspective . Proceedings: 2019 IEEE International Conference on Software Architecture Companion, ICSA-C 2019. Page 127-128. ISBN 978-1-7281-1876-5. Available at : https://doi.org/10.1109/ICSA-C.2019.00030
0.
SEGLER, Christoph , Stefan KUGELE , Philipp OBERGFELL , Mohd Hafeez OSMAN , Sina SHAFAEI , Eric SAX and Alois KNOLL , 2019 . Evaluation of feature selection for anomaly detection in automotive E/E architectures . Proceedings: 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings: ICSE-Companion 2019. Page 260-261. ISBN 978-1-7281-1764-5. Available at : https://doi.org/10.1109/ICSE-Companion.2019.00104
0.
NAIR, Saasha , Sina SHAFAEI , Stefan KUGELE , Mohd Hafeez OSMAN and Alois KNOLL , 2019 . Monitoring Safety of Autonomous Vehicles with Crash Prediction Network . CEUR Workshop Proceedings. Available at : https://ceur-ws.org/Vol-2301/paper_12.pdf
0.
CEBOTARI, Vadim and Stefan KUGELE , 2019 . On the Nature of Automotive Service Architectures . Proceedings: 2019 IEEE International Conference on Software Architecture Companion, ICSA-C 2019. Page 53-60. ISBN 978-1-7281-1876-5. Available at : https://doi.org/10.1109/ICSA-C.2019.00017
0.
JANUZAJ, Visar and Stefan KUGELE , 2019 . On the Structure of Avionics Systems Architecture . In: Pau Fonseca i Casas; Maria-Ribera Sancho; Edel Sherratt . System Analysis and Modeling: Languages, Methods, and Tools for Industry 4.0: 11th International Conference, SAM 2019 Proceedings. Page 139-149. ISBN 978-3-030-30690-8. Available at : https://doi.org/10.1007/978-3-030-30690-8_8
0.
OSMAN, Mohd Hafeez , Stefan KUGELE and Sina SHAFAEI , 2019 . Run-Time Safety Monitoring Framework for AI-Based Systems : Automated Driving Cases . Proceedings: 2019 26th Asia-Pacific Software Engineering Conference, APSEC 2019. Page 442-449. ISBN 978-1-7281-4648-5. Available at : https://doi.org/10.1109/APSEC48747.2019.00066
2018
0.
SHAFAEI, Sina , Fabian MÜLLER , Tim SALZMANN , Morteza HASHEMI FARZANEH , Stefan KUGELE and Alois KNOLL , 2018 . Context Prediction Architectures in Next Generation of Intelligent Cars . 2018 IEEE Intelligent Transportation Systems Conference. Page 2923-2930. ISBN 978-1-7281-0323-5. Available at : https://doi.org/10.1109/ITSC.2018.8569617
0.
KUGELE, Stefan , David HETTLER and Jan PETER , 2018 . Data-Centric Communication and Containerization for Future Automotive Software Architectures . Proceedings: 2018 IEEE 15th International Conference on Software Architecture: ICSA 2018. Page 65-74. ISBN 978-1-5386-6398-1. Available at : https://doi.org/10.1109/ICSA.2018.00016
0.
KUGELE, Stefan , David HETTLER and Sina SHAFAEI , 2018 . Elastic Service Provision for Intelligent Vehicle Functions . 2018 IEEE Intelligent Transportation Systems Conference. Page 3183-3190. ISBN 978-1-7281-0323-5. Available at : https://doi.org/10.1109/ITSC.2018.8569374
0.
GLEIRSCHER, Mario , Stefan KUGELE and Sven LINKER , 2018 . SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles . ACM SIGSOFT Software Engineering Notes , 43 , 45-47 . ISSN 0163-5948. Available at : https://doi.org/10.1145/3282517.3302402
0.
0.
SHAFAEI, Sina , Stefan KUGELE , Mohd Hafeez OSMAN and Alois KNOLL , 2018 . Uncertainty in Machine Learning: A Safety Perspective on Autonomous Driving . In: Barbara Gallina; Amund Skavhaug; Erwin Schoitsch; Friedemann Bitsch . Computer Safety, Reliability, and Security. Page 458-464. ISBN 978-3-319-99228-0. Available at : https://doi.org/10.1007/978-3-319-99229-7_39
2017
0.
HASHEMI FARZANEH, Morteza , Stefan KUGELE and Alois KNOLL , 2017 . A graphical modeling tool supporting automated schedule synthesis for time-sensitive networking . 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation. ISBN 978-1-5090-6505-9. Available at : https://doi.org/10.1109/ETFA.2017.8247599
0.
GLEIRSCHER, Mario and Stefan KUGELE , 2017 . Defining Risk States in Autonomous Road Vehicles . Proceedings: IEEE 18th International Symposium on High Assurance Systems Engineering (HASE 2017). Page 112-115. ISBN 978-1-5090-4636-2. Available at : https://doi.org/10.1109/HASE.2017.14
0.
GLEIRSCHER, Mario and Stefan KUGELE , 2017 . From Hazard Analysis to Hazard Mitigation Planning: The Automated Driving Case . In: Clark Barrett; Misty Davies; Temesghen Kahsai . NASA Formal Methods: 9th International Symposium, NFM 2017: Moffett Field, CA, USA, May 16-18, 2017: Proceedings. Page 310-326. ISBN 978-3-319-57288-8. Available at : https://doi.org/10.1007/978-3-319-57288-8_23
0.
KUGELE, Stefan , Philipp OBERGFELL , Manfred BROY , Oliver CREIGHTON , Matthias TRAUB and Wolfgang HOPFENSITZ , 2017 . On Service-Orientation for Automotive Software . Proceedings: 2017 IEEE International Conference on Software Architecture (ICSA 2017). Page 193-202. ISBN 978-1-5090-5729-0. Available at : https://doi.org/10.1109/ICSA.2017.20
0.
KUGELE, Stefan , Vadim CEBOTARI , Mario GLEIRSCHER , Morteza HASHEMI FARZANEH , Christoph SEGLER , Sina SHAFAEI , Hans-Jörg VÖGEL , Fridolin BAUER , Alois KNOLL , Diego MARMSOLER and Hans-Ulrich MICHEL , 2017 . Research Challenges for a Future-Proof E/E Architecture: A Project Statement . In: Maximilian Eibl; Martin Gaedke . INFORMATIK 2017. Page 1463-1474. ISBN 978-3-88579-669-5. Available at : https://doi.org/10.18420/in2017_146
0.
GLEIRSCHER, Mario , Stefan KUGELE and Jonathan SPRINKLE , 2017 . Safe Control of Autonomous & Connected Vehicles (SCAV'17): Report from the 1st International Workshop at CPSWeek 2017 . ACM SIGSOFT Software Engineering Notes , 42 , 22-23 . ISSN 0163-5948. Available at : https://doi.org/10.1145/3127360.3127373
2016
0.
ALBERS, Karsten , Matthias BÜKER , Laurent DIEUDONNÉ , Robert HILBRICH , Georgeta IGNA , Stefan KUGELE , Thomas KUHN , Maike ROSINGER and Raphael WEBER , 2016 . Optimal Deployment . In: Klaus Pohl; Manfred Broy; Heinrich Daembkes; Harald Hönninger . Advanced Model-Based Engineering of Embedded Systems: Extensions of the SPES 2020 Methodology. Page 145-168. ISBN 978-3-319-48003-9. Available at : https://doi.org/10.1007/978-3-319-48003-9_9
0.
KUGELE, Stefan , Diego MARMSOLER , Núria MATA and Kai WERTHER , 2016 . Verification of component architectures using mode-based contracts . 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE). Page 133-142. ISBN 978-1-5090-2791-0. Available at : https://doi.org/10.1109/MEMCOD.2016.7797758
0.
KUGELE, Stefan and Daniel ANTKOWIAK , 2016 . Visualization of Trace Links and Change Impact Analysis . Proceedings: 2016 IEEE 24th International Requirements Engineering Conference Workshops. Page 165-169. ISBN 978-1-5090-3694-3. Available at : https://doi.org/10.1109/REW.2016.039
2015
0.
KUGELE, Stefan , Gheorghe PUCEA , Ramona POPA , Laurent DIEUDONNÉ and Horst ECKARDT , 2015 . On the deployment problem of embedded systems . 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE). Page 158-167. ISBN 978-1-5090-0237-5. Available at : https://doi.org/10.1109/MEMCOD.2015.7340482
0.
PREHOFER, Christian , Konstantin SCHORP , Stefan KUGELE , Daniel CLARKE and Markus DUCHON , 2015 . Towards a 3-tier architecture for connected vehicles . 2014 International Conference on Connected Vehicles and Expo (ICCVE): Proceedings. Page 679-680. ISBN 978-1-4799-6729-2. Available at : https://doi.org/10.1109/ICCVE.2014.7297634
2014
0.
KUGELE, Stefan and Gheorghe PUCEA , 2014 . Model-based optimization of automotive E/E-architectures . CSTVA 2014: Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis. Page 18-29. ISBN 978-1-4503-2847-0. Available at : https://doi.org/10.1145/2593735.2593739
2013
0.
GULDEN, Markus and Stefan KUGELE , 2013 . A concept for generating simplified RESTful interfaces . WWW '13 Companion: Proceedings of the 22nd International Conference on World Wide Web. Page 1391-1398. ISBN 978-1-4503-2038-2. Available at : https://doi.org/10.1145/2487788.2488181
2012
0.
JANUZAJ, Visar , Stefan KUGELE , Florian BIECHELE and Ralf MAUERSBERGER , 2012 . A Configuration Approach for IMA Systems . In: George Eleftherakis; Mike Hinchey; Mike Holcombe . Software Engineering and Formal Methods: 10th International Conference, SEFM 2012: Thessaloniki, Greece, October 1-5, 2012: Proceedings. Page 203-217. ISBN 978-3-642-33825-0. Available at : https://doi.org/10.1007/978-3-642-33826-7_14
0.
2011
0.
HOLZER, Andreas , Visar JANUZAJ , Stefan KUGELE , Boris LANGER , Christian SCHALLHART , Michael TAUTSCHNIG and Helmut VEITH , 2011 . Seamless Testing for Models and Code . In: Dimitra Giannakopoulou; Fernando Orejas . Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011: Saarbrücken, Germany, March 26-April 3, 2011: Proceedings. Page 278-293. ISBN 978-3-642-19810-6. Available at : https://doi.org/10.1007/978-3-642-19811-3_20
2010
0.
HABERL, Wolfgang , Stefan KUGELE and Uwe BAUMGARTEN , 2010 . Model-Based Generation of Fault-Tolerant Embedded Systems . In: Hamid R. Arabnia; Ashu M. G. Solo . Proceedings of the 2010 International Conference on Embedded Systems & Applications: ESA 2010. Page 136-142. ISBN 1-601-32141-4.
0.
JANUZAJ, Visar , Stefan KUGELE , Boris LANGER , Christian SCHALLHART and Helmut VEITH , 2010 . New Challenges in the Development of Critical Embedded Systems: An "aeromotive" Perspective . In: Tiziana Margaria; Bernhard Steffen . Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010: Proceedings, Part I. Page 1-2. ISBN 978-3-642-16558-0. Available at : https://doi.org/10.1007/978-3-642-16558-0_1
0.
HABERL, Wolfgang , Markus HERRMANNSDOERFER , Stefan KUGELE , Michael TAUTSCHNIG and Martin WECHS , 2010 . Seamless Model-Driven Development Put into Practice . In: Tiziana Margaria; Bernhard Steffen . Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010: Proceedings, Part I. Page 18-32. ISBN 978-3-642-16558-0. Available at : https://doi.org/10.1007/978-3-642-16558-0_4
0.
HOLZER, Andreas , Visar JANUZAJ , Stefan KUGELE and Michael TAUTSCHNIG , 2010 . Timely Time Estimates . In: Tiziana Margaria; Bernhard Steffen . Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010: Proceedings, Part I. Page 33-46. ISBN 978-3-642-16558-0. Available at : https://doi.org/10.1007/978-3-642-16558-0_5
2009
0.
HABERL, Wolfgang , Stefan KUGELE and Uwe BAUMGARTEN , 2009 . Reliable operating modes for distributed embedded systems . Proceedings of the 2009 31st International Conference on Software Engineering and ICSE Workshops. Page 11-21. ISBN 978-1-4244-3721-4. Available at : https://doi.org/10.1109/MOMPES.2009.5069133
0.
HOLZER, Andreas , Visar JANUZAJ and Stefan KUGELE , 2009 . Towards Resource Consumption-Aware Programming . In: Kenneth Boness; João M. Fernandes; Jon G. Hall; Ricardo Jorge Machado; Roy Oberhauser . Proceedings: The Fourth International Conference on Software Engineering Advances: ICSEA 2009. Page 490-493. ISBN 978-1-4244-4779-4. Available at : https://doi.org/10.1109/ICSEA.2009.77
2008
0.
WANG, Zhonglei , Wolfgang HABERL , Stefan KUGELE and Michael TAUTSCHNIG , 2008 . Automatic generation of SystemC models from component-based designs for early design validation and performance analysis . WOSP'08: Proceedings of the Seventh International Workshop on Software and Performance. Page 139-143. ISBN 978-1-59593-873-2. Available at : https://doi.org/10.1145/1383559.1383577
0.
KUGELE, Stefan and Wolfgang HABERL , 2008 . Mapping Data-Flow Dependencies onto Distributed Embedded Systems . In: Hamid R. Arabnia; Hassan Reza . Proceedings of the 2008 International Conference on Software Engineering Research & Practice, SERP 2008, July 14-17, 2008, Las Vegas Nevada, USA, 2 Volumes. Page 272-278. ISBN 1-60132-088-4.
0.
KUGELE, Stefan , Wolfgang HABERL , Michael TAUTSCHNIG and Martin WECHS , 2008 . Optimizing Automatic Deployment Using Non-functional Requirement Annotations . In: Tiziana Margaria; Bernhard Steffen . Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008: Proceedings. Page 400-414. ISBN 978-3-540-88479-8. Available at : https://doi.org/10.1007/978-3-540-88479-8_28