{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T19:54:37Z","timestamp":1649015677345},"reference-count":53,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2016,2,1]],"date-time":"2016-02-01T00:00:00Z","timestamp":1454284800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Mobile Netw Appl"],"published-print":{"date-parts":[[2016,2]]},"DOI":"10.1007\/s11036-016-0681-0","type":"journal-article","created":{"date-parts":[[2016,3,3]],"date-time":"2016-03-03T07:02:32Z","timestamp":1456988552000},"page":"98-126","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Dependable Traffic Control Strategies for Urban and Freeway Networks"],"prefix":"10.1007","volume":"21","author":[{"given":"Kaiyu","family":"Wan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nhat","family":"Nguyen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vangalur","family":"Alagar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,3,3]]},"reference":[{"key":"681_CR1","first-page":"55","volume":"1","author":"A Pretschner","year":"2007","unstructured":"Pretschner A, Broy M, Kruger IH, Stauner T (2007) Software engineering for automotive systems: a roadmap. FOSE 7: Future of Software Engineering 1:55\u201361","journal-title":"FOSE 7: Future of Software Engineering"},{"key":"681_CR2","unstructured":"uINRIX Americans will waste 2.8 trillion dollars on traffic by 2030 if gridlock persists. [Online]. Available: http:\/\/www.inrix.com\/press\/americans-will-waste-2-8-trillion-on-traffic-by-2030-if-gridlock-persists\/ http:\/\/www.inrix.com\/press\/americans-will-waste-2-8-trillion-on-traffic-by-2030-if-gridlock-persists\/ http:\/\/www.inrix.com\/press\/americans-will-waste-2-8-trillion-on-traffic-by-2030-if-gridlock-persists\/"},{"key":"681_CR3","doi-asserted-by":"crossref","first-page":"163","DOI":"10.3141\/2058-20","volume":"2058","author":"M Barth","year":"2008","unstructured":"Barth M, Boriboonsomsin K (2008) Real-world carbon dioxide impacts of traffic congestion. Transp Res Rec: J Transp Res Board 2058:163\u2013171","journal-title":"Transp Res Rec: J Transp Res Board"},{"key":"681_CR4","unstructured":"Administration FH (2005) Traffic control systems handbook. US Department of Transportation, Federal Highway Administration, Office of Operations"},{"key":"681_CR5","unstructured":"(2006) Traffic detector handbook: third edition. US Department of Transportation, Federal Highway Administration, Office of Operations"},{"key":"681_CR6","doi-asserted-by":"crossref","unstructured":"Schilit B, Adams N, Want R (1994) Context-aware computing applications. In: First workshop on mobile computing systems and applications, 1994. WMCSA 1994. IEEE, pp 85\u201390","DOI":"10.1109\/WMCSA.1994.16"},{"key":"681_CR7","first-page":"14","volume":"1","author":"V Alagar","year":"2014","unstructured":"Alagar V, Mohammad M, Wan K, Hnaide SA (2014) A framework for developing context-aware systems. ICST Journal Springer 1:14","journal-title":"ICST Journal Springer"},{"issue":"1","key":"681_CR8","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A Avizienis","year":"2004","unstructured":"Avizienis A, Laprie J-C, Randell B, Landwehr C (2004) Basic concepts and taxonomy of dependable and secure computing. IEEE Trans Dependable Secure Comput 1(1):11\u201333","journal-title":"IEEE Trans Dependable Secure Comput"},{"issue":"1","key":"681_CR9","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/j.jss.2010.08.048","volume":"84","author":"M Mohammad","year":"2011","unstructured":"Mohammad M, Alagar V (2011) A formal approach for the specification and verification of trustworthy component-based systems. J Syst Softw 84(1):77\u2013104","journal-title":"J Syst Softw"},{"key":"681_CR10","unstructured":"Kephart J, Kephart J, Chess D, Boutilier C, Das R, Kephart JO, Walsh WE (2007) An architectural blueprint for autonomic computing. IEEE Internet Comput 18(21)"},{"issue":"1","key":"681_CR11","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"J Kephart","year":"2003","unstructured":"Kephart J, Chess D (2003) The vision of autonomic computing. Computer 36(1):41\u201350","journal-title":"Computer"},{"key":"681_CR12","unstructured":"NSF (2008) Cyber-physical systems (CPS). http:\/\/www.nsf.gov\/pubs\/2008\/nsf08611\/nsf08611.htm http:\/\/www.nsf.gov\/pubs\/2008\/nsf08611\/nsf08611.htm"},{"key":"681_CR13","unstructured":"Wing JM (2008) Cyber-physical systems, http:\/\/www.cra.org\/CRN\/issues\/0901.pdf http:\/\/www.cra.org\/CRN\/issues\/0901.pdf"},{"key":"681_CR14","unstructured":"SCOOT SCOOT - the world\u2019s leading adaptive traffic control system. http:\/\/www.scoot-utc.com\/"},{"issue":"12","key":"681_CR15","doi-asserted-by":"crossref","first-page":"2043","DOI":"10.1109\/JPROC.2003.819610","volume":"91","author":"M Papageorgiou","year":"2003","unstructured":"Papageorgiou M, Diakaki C, Dinopoulou V, Kotsialos A, Wang Y (2003) Review of road traffic control strategies. Proc IEEE 91(12):2043\u20132067","journal-title":"Proc IEEE"},{"key":"681_CR16","unstructured":"Papageorgiou M, Hadj-Salem H, Blosseville JM (1991) Alinea: a local feedback control law for on-ramp metering, U.S Department of Transportation, Washington, DC, Transportation Research Record 1320"},{"key":"681_CR17","unstructured":"FLIR (2014) Pedestrian presence sensors. http:\/\/www.flir.com\/cs\/emea\/en\/view\/?id=60028\/ http:\/\/www.flir.com\/cs\/emea\/en\/view\/?id=60028\/"},{"key":"681_CR18","doi-asserted-by":"crossref","unstructured":"Lee E, et al. (2008) Cyber physical systems: design challenges. In: 2008 11th IEEE International symposium on object oriented real-time distributed computing (ISORC). IEEE, pp 363\u2013 369","DOI":"10.1109\/ISORC.2008.25"},{"key":"681_CR19","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1145\/1498765.1498787","volume":"52","author":"D Jackson","year":"2009","unstructured":"Jackson D (2009) A direct path to dependable software. Commun ACM 52:78\u201388","journal-title":"Commun ACM"},{"key":"681_CR20","doi-asserted-by":"crossref","unstructured":"Alagar V, Wan K (2014) An Approach to Designing an Autonomic Network of Traffic Managers. ICCVE 2014","DOI":"10.1109\/ICCVE.2014.7297670"},{"issue":"2","key":"681_CR21","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1061\/(ASCE)0733-947X(2002)128:2(182)","volume":"128","author":"K Ahn","year":"2002","unstructured":"Ahn K, Rakha H, Trani A, Van Aerde M (2002) Estimating vehicle fuel consumption and emissions based on instantaneous speed and acceleration levels. J Transp Eng 128(2):182\u2013190","journal-title":"J Transp Eng"},{"key":"681_CR22","unstructured":"NASA (2010) Architecture and artificial intelligence, howpublished = http:\/\/attic.gsfc.nasa.gov\/ants\/ArchandAI.html"},{"key":"681_CR23","doi-asserted-by":"crossref","unstructured":"Bomze IM, Budinich M, Pardalos PM, Pelillo M (1999) The maximum clique problem. In: Handbook of combinatorial optimization. Springer, pp 1\u201374","DOI":"10.1007\/978-1-4757-3023-4_1"},{"issue":"9","key":"681_CR24","doi-asserted-by":"crossref","first-page":"575","DOI":"10.1145\/362342.362367","volume":"16","author":"C Bron","year":"1973","unstructured":"Bron C, Kerbosch J (1973) Algorithm 457: finding all cliques of an undirected graph. Commun ACM 16 (9):575\u2013577","journal-title":"Commun ACM"},{"issue":"2","key":"681_CR25","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0191-2615(81)90037-0","volume":"15","author":"PG Gipps","year":"1981","unstructured":"Gipps PG (1981) A behavioural car-following model for computer simulation. Transp Res B Methodol 15 (2):105\u2013 111","journal-title":"Transp Res B Methodol"},{"issue":"2","key":"681_CR26","doi-asserted-by":"crossref","first-page":"1805","DOI":"10.1103\/PhysRevE.62.1805","volume":"62","author":"M Treiber","year":"2000","unstructured":"Treiber M, Hennecke A, Helbing D (2000) Congested traffic states in empirical observations and microscopic simulations. Phys Rev E 62(2):1805","journal-title":"Phys Rev E"},{"key":"681_CR27","doi-asserted-by":"crossref","unstructured":"Alur R (2011) Formal verification of hybrid systems. In: Proceedings of the International Conference on Embedded Software (EMSOFT), 2011, pp 273\u2013278","DOI":"10.1145\/2038642.2038685"},{"key":"681_CR28","unstructured":"Archer J (2000) Fundamental traffic safety issues concerning the use of intelligent transportation systems, Working Paper, Royal Institute of Technology, Tech. Rep. WP-862"},{"key":"681_CR29","unstructured":"McKnight DH, Chervany NL (2001) Trust and distrust definitions: One bite at a time. In: Trust in Cyber Societies. Springer, LNAI 2246, pp 27\u201354"},{"key":"681_CR30","doi-asserted-by":"crossref","first-page":"500","DOI":"10.1016\/S0148-2963(03)00140-1","volume":"58","author":"D Johnson","year":"2005","unstructured":"Johnson D, Grayson K (2005) Cognitive and affective trust in service relationship. J Bus Res 58:500\u2013507","journal-title":"J Bus Res"},{"key":"681_CR31","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1518\/hfes.46.1.50.30392","volume":"46","author":"J Lee","year":"2004","unstructured":"Lee J, See K (2004) Trust in automation: designing for appropriate reliance. Hum Factors 46:50\u201380","journal-title":"Hum Factors"},{"key":"681_CR32","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/s00779-012-0631-1","volume":"18","author":"H Hoffmann","year":"2014","unstructured":"Hoffmann H, S\u00f6llner M (2014) Incorporating behavioral trust theory into system development for ubiquitous applications. Pers Ubiquit Comput 18:117\u2013128","journal-title":"Pers Ubiquit Comput"},{"key":"681_CR33","doi-asserted-by":"crossref","unstructured":"Alriyami Q, Adnane A, Smith AK (2014) Evaluation criterias for trust management in vehicular ad-hoc networks (vanets). In: ICCVE Conference, Vienna, pp 1\u20139","DOI":"10.1109\/ICCVE.2014.7297525"},{"key":"681_CR34","first-page":"376","volume":"5","author":"MB Monir","year":"2013","unstructured":"Monir MB, Aziz MHAE, Hamid AAA (2013) A trust-based message reporting scheme for vanet. International Journal of Emerging Technology and Advanced Engineering 5:376\u2013394","journal-title":"International Journal of Emerging Technology and Advanced Engineering"},{"key":"681_CR35","unstructured":"Administration FH (2005) Traffic control systems handbook. WHO Regional Office of Europe"},{"key":"681_CR36","unstructured":"NSF (2008) Fundamental traffic safety issues concerning the use of intelligent transportation systems, Technical Report, NSF Program Solicitation, Tech. Rep. NSF-08-611"},{"key":"681_CR37","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A Avizienis","year":"2004","unstructured":"Avizienis A, Laprie JC, Randell B, Landwehr C (2004) Basic concepts and taxonomy of dependable and secure computing. TIEEE Trans Dependable Secure Comput 1:11\u201333","journal-title":"TIEEE Trans Dependable Secure Comput"},{"key":"681_CR38","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/j.jss.2010.08.048","volume":"4","author":"M Mohammad","year":"2011","unstructured":"Mohammad M, Alagar V (2011) A formal approach for the specification and verification of trustworthy component-based systems. J Syst Softw 4:77\u201384","journal-title":"J Syst Softw"},{"key":"681_CR39","doi-asserted-by":"crossref","unstructured":"Abumansoor O, Boukerche A (2011) Towards a secure model for vehicular ad-hoc network services. In: IEEE Globecom Proceedings, Orlando, Florida, pp 1\u20135","DOI":"10.1109\/GLOCOM.2011.6134243"},{"issue":"5","key":"681_CR40","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1016\/0191-2615(86)90012-3","volume":"20","author":"PG Gipps","year":"1986","unstructured":"Gipps PG (1986) A model for the structure of lane-changing decisions. Transp Res B Methodol 20(5):403\u2013414","journal-title":"Transp Res B Methodol"},{"issue":"1","key":"681_CR41","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/MIS.2005.15","volume":"20","author":"P Mirchandani","year":"2005","unstructured":"Mirchandani P, Wang F-Y (2005) Rhodes to intelligent transportation systems. IEEE Intell Syst 20(1):10\u201315","journal-title":"IEEE Intell Syst"},{"issue":"1","key":"681_CR42","doi-asserted-by":"crossref","first-page":"30","DOI":"10.3141\/1857-04","volume":"1857","author":"T Toledo","year":"2003","unstructured":"Toledo T, Koutsopoulos HN, Ben-Akiva ME (2003) Modeling integrated lane-changing behavior. Transp Res Rec: J Transp Res Board 1857(1):30\u201338","journal-title":"Transp Res Rec: J Transp Res Board"},{"key":"681_CR43","unstructured":"Kesting A, Treiber M, Helbing D (2015) General lane-changing model mobil for car-following models. Transp Res Rec: J Transp Res Board"},{"key":"681_CR44","unstructured":"Hwang J-H, Arkin RC, Kwon D-S (2003) Mobile robots at your fingertip: Bezier curve on-line trajectory generation for supervisory control. In: IEEE\/RSJ International Conference on Intelligent Robots and Systems, 2003. (IROS 2003). Proceedings. 2003, vol 2. IEEE, pp 1444\u20131449"},{"issue":"2","key":"681_CR45","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1137\/0201010","volume":"1","author":"R Tarjan","year":"1972","unstructured":"Tarjan R (1972) Depth-first search and linear graph algorithms. SIAM J Comput 1(2):146\u2013160","journal-title":"SIAM J Comput"},{"key":"681_CR46","unstructured":"Robertson DI (1969) Transyt: a traffic network study tool"},{"key":"681_CR47","unstructured":"Nguyen DN (2015) Adaptive traffic control system; design and simulation. Concordia University, Montreal, Canada, Master of Computer Science Thesis"},{"issue":"5","key":"681_CR48","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1016\/S0968-090X(02)00026-8","volume":"10","author":"P Hidas","year":"2002","unstructured":"Hidas P (2002) Modelling lane changing and merging in microscopic traffic simulation. Transp Res C: Emerg Technol 10(5):351\u2013371","journal-title":"Transp Res C: Emerg Technol"},{"key":"681_CR49","unstructured":"Robin T, Antonini G, Bierlaire M, Cruz J (2007) Specification, estimation, validation of a pedestrian walking behavior model, TRANSP-OR, Ecole Polytechnique F\u00e9d\u00e9ale de Lausanne and IBM Research GmbH, Zurich Research Lab, Research Report"},{"issue":"10","key":"681_CR50","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1145\/2507771.2507782","volume":"56","author":"R Alur","year":"2013","unstructured":"Alur R (2013) Can we verify cyber-physical systems?: technical perspective. Commun ACM 56(10):96\u201396. doi: 10.1145\/2507771.2507782","journal-title":"Commun ACM"},{"issue":"1","key":"681_CR51","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/2728816.2728827","volume":"2","author":"R Alur","year":"2015","unstructured":"Alur R, Henzinger TA, Vardi MY (2015) Theory in practice for system design and verification. ACM SIGLOG News 2(1):46\u201351. doi: 10.1145\/2728816.2728827","journal-title":"ACM SIGLOG News"},{"key":"681_CR52","unstructured":"Google Google self-driving car project. http:\/\/www.google.com\/selfdrivingcar http:\/\/www.google.com\/selfdrivingcar"},{"key":"681_CR53","unstructured":"BCC News Rival robot cars meet on california highway. http:\/\/www.bbc.com\/news\/technology-33286811"}],"container-title":["Mobile Networks and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11036-016-0681-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11036-016-0681-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11036-016-0681-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,16]],"date-time":"2020-09-16T14:40:04Z","timestamp":1600267204000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11036-016-0681-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,2]]},"references-count":53,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2016,2]]}},"alternative-id":["681"],"URL":"https:\/\/doi.org\/10.1007\/s11036-016-0681-0","relation":{},"ISSN":["1383-469X","1572-8153"],"issn-type":[{"value":"1383-469X","type":"print"},{"value":"1572-8153","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,2]]}}}