TY - RPRT A1 - Broy, Manfred A1 - Facchi, Christian A1 - Grosu, Radu A1 - Hettler, Rudi A1 - Hussmann, Heinrich A1 - Nazareth, Dieter A1 - Regensburger, Franz A1 - Stølen, Ketil T1 - The Requirement and Design Specification Language SPECTRUM BT - An Informal Introduction : Version 0.3 T2 - TUM-Info. 9140 Y1 - 1991 PB - Technische Universität München CY - München ER - TY - RPRT A1 - Broy, Manfred A1 - Facchi, Christian A1 - Grosu, Radu A1 - Hettler, Rudi A1 - Hussmann, Heinrich A1 - Nazareth, Dieter A1 - Regensburger, Franz A1 - Slotosch, Oscar A1 - Stølen, Ketil T1 - The Requirement and Design Specification Language SPECTRUM BT - An Informal Introduction : Version 1.0. Part I T2 - TUM-Info. 9311 Y1 - 1993 PB - Technische Universität München CY - München ER - TY - RPRT A1 - Broy, Manfred A1 - Facchi, Christian A1 - Grosu, Radu A1 - Hettler, Rudi A1 - Hussmann, Heinrich A1 - Nazareth, Dieter A1 - Regensburger, Franz A1 - Slotosch, Oscar A1 - Stølen, Ketil T1 - The Requirement and Design Specification Language SPECTRUM BT - An Informal Introduction : Version 1.0. Part II T2 - TUM-Info. 9312 Y1 - 1993 PB - Technische Universität München CY - München ER - TY - CHAP A1 - Braun, Michael A1 - Völkel, Sarah Theres A1 - Hussmann, Heinrich A1 - Frison, Anna-Katharina A1 - Alt, Florian A1 - Riener, Andreas T1 - Beyond Transportation: How to Keep Users Attached When They Are Neither Driving nor Owning Automated Cars? T2 - Adjunct Proceedings: 10th International ACM Conference on Automotive User Interfaces and Interactive Vehicular Applications UR - https://doi.org/10.1145/3239092.3265963 KW - automated cars KW - Car sharing KW - Vehicle Attachment Y1 - 2018 UR - https://doi.org/10.1145/3239092.3265963 SN - 978-1-4503-5947-4 SP - 175 EP - 180 PB - ACM CY - New York ER -