@article{DBLP:conf/iiwas/RetschitzeggerSMM20,
   title = {Towards CPS Verification Engineering},
   author = {Andreas Müller and Stefan Mitsch and Werner Retschitzegger and Wieland Schwinger},
   journal = {22nd International Conference on Information Integration and Web-based Applications & Services, Proceedings},
   year = {2020},
   pages = {367-372}
}								

@inproceedings{DBLP:conf/cyphy/0015MSP18,
   title = {A Component-Based Hybrid Systems Verification and Implementation Tool               in KeYmaera {X} (Tool Demonstration)},
   author = {Andreas M{\"{u}}ller and               Stefan Mitsch and               Wieland Schwinger and               Andr{\'{e}} Platzer},
   year = {2018},
   booktitle = {Cyber Physical Systems. Model-Based Design - 8th International Workshop,               CyPhy 2018, and 14th International Workshop, {WESE} 2018, Turin, Italy,               October 4-5, 2018, Revised Selected Papers},
   pages = {91--110}
}								

@article{DBLP:journals/sttt/MullerMRSP18,
   title = {Tactical contract composition for hybrid system component verification},
   author = {Andreas M{\"{u}}ller and               Stefan Mitsch and               Werner Retschitzegger and               Wieland Schwinger and               Andr{\'{e}} Platzer},
   journal = {{STTT}},
   year = {2018},
   pages = {615--643},
   volume = {20},
   number = {6}
}								

@inproceedings{ARCH17:Benchmark_for_Component_based_Hybrid,
   title = {A Benchmark for Component-based Hybrid Systems Safety Verification},
   author = {Andreas M{\"u}ller and Stefan Mitsch and Werner Retschitzegger and Wieland Schwinger and Andr{\'e} Platzer},
   year = {2017},
   publisher = {EasyChair},
   booktitle = {4th International Workshop on Applied Verification of Continuous and Hybrid Systems},
   pages = {65-74},
   volume = {48 },
   month = {04},
   series = {EPiC Series in Computing}
}								

@inproceedings{DBLP:conf/fase/0002MRSP17,
   title = {Change and Delay Contracts for Hybrid System Component Verification},
   author = {Andreas M{\"{u}}ller and               Stefan Mitsch and               Werner Retschitzegger and               Wieland Schwinger and               Andr{\'{e}} Platzer},
   year = {2017},
   booktitle = {Fundamental Approaches to Software Engineering - 20th International               Conference, {FASE} 2017, Held as Part of the European Joint Conferences               on Theory and Practice of Software, {ETAPS} 2017, Proceedings},
   pages = {134--151},
   volume = {10202 },
   month = {04},
   series = {Lecture Notes in Computer Science},
   address = {Uppsala, Sweden}
}								

@inproceedings{DBLP:conf/ifm/MullerMRSP16,
   title = {A Component-Based Approach to Hybrid Systems Safety Verification},
   author = {Andreas M{\"{u}}ller and               Stefan Mitsch and               Werner Retschitzegger and               Wieland Schwinger and               Andr{\'{e}} Platzer},
   year = {2016},
   publisher = {Springer},
   booktitle = {Integrated Formal Methods - 12th International Conference, {IFM} 2016,               Reykjavik, Iceland, June 1-5, 2016, Proceedings},
   pages = {441--456},
   volume = {9681 },
   month = {06},
   series = {Lecture Notes in Computer Science},
   address = {Reykjavik, Iceland}
}								

@inproceedings{DBLP:conf/itsc/0002MP15,
   title = {Verified Traffic Networks: Component-Based Verification of Cyber-Physical               Flow Systems},
   author = {Andreas M{\"{u}}ller and               Stefan Mitsch and               Andr{\'{e}} Platzer},
   year = {2015},
   publisher = {IEEE},
   booktitle = {{IEEE} 18th International Conference on Intelligent Transportation               Systems, {ITSC} 2015, Gran Canaria, Spain, September 15-18, 2015},
   pages = {757--764},
   month = {09},
   address = {Gran Canaria, Spain}
}								

@inproceedings{Mueller2015,
   title = {{Component-based CPS Verification: A Recipe for Reusability}},
   author = {Andreas M{\"{u}}ller},
   year = {2015},
   booktitle = {Doctoral Symposium of Formal Methods, co-located with the 20th International Symposium on Formal Methods (FM 2015)},
   pages = {33-37},
   month = {06},
   address = {Oslo, Norway}
}								

@article{Baumgartner2014,
   title = {{A Tour of BeAware! A Situation-Awareness Framework for Control Centers}},
   author = {Norbert Baumgartner and Stefan Mitsch and Andreas M{\"u}ller and Werner Retschitzegger and Andrea Salfinger and Wieland Schwinger},
   journal = {Journal of Information Fusion, Elsevier},
   year = {2014},
   pages = {155–173},
   volume = {20},
   month = {11}
}								

@inproceedings{DBLP:conf/ksem/MullerMRS14,
   title = {A Conceptual Reference Model of Modeling and Verification Concepts               for Hybrid Systems},
   author = {Andreas M{\"{u}}ller and               Stefan Mitsch and               Werner Retschitzegger and               Wieland Schwinger},
   year = {2014},
   publisher = {Springer},
   booktitle = {Knowledge Science, Engineering and Management - 7th International               Conference, {KSEM} 2014, Sibiu, Romania, October 16-18, 2014. Proceedings},
   pages = {368--379},
   month = {10},
   address = {Sibiu, Romania}
}								

@inproceedings{Mitsch2013,
   title = {{A Survey on Clustering Techniques for Situation Awareness}},
   author = {Stefan Mitsch and Andreas M{\"u}ller and Werner Retschitzegger and Andrea Salfinger and Wieland Schwinger},
   year = {2013},
   publisher = {Springer},
   booktitle = {{P}roc. of the 15th {A}sia-{P}acific {W}eb {C}onference ({A}{P}{W}eb 2013)},
   pages = {815--826},
   series = {Lecture Notes in Computer Science},
   address = {Heidelberg},
   isbn = {978-3-642-37400}
}								

@inproceedings{Baumgartner2012,
   title = {{The Situation Radar - Visualizing Collaborative Situation Awareness in Traffic Control Systems}},
   author = {Norbert Baumgartner and Stefan Mitsch and Andreas M\"{u}ller and Werner Retschitzegger and Andrea Salfinger and Wieland Schwinger},
   year = {2012},
   booktitle = {Proceedings of the 19th World Congress on Intelligent Transport Systems}
}