1. Using STPA in compliance with ISO 26262 for developing a safe architecture for fully automated vehicles;Abdulkhaleq,2017
2. Online verification of automated road vehicles using reachability analysis;Althoff;IEEE Trans. Robot.,2014
3. Considering congestion costs and driver behaviour into route optimisation algorithms in smart cities;Alvarez,2017
4. A framework for classifying and comparing software architecture evaluation methods;Babar,2004
5. Using the Architecture Tradeoff Analysis Method (ATAM) to Evaluate the Software Architecture for a Product Line of Avionics Systems: A Case Study;Barbacci,2003