{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T11:04:49Z","timestamp":1777547089203,"version":"3.51.4"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,12]]},"DOI":"10.1109\/wsc.2014.7019925","type":"proceedings-article","created":{"date-parts":[[2015,1,27]],"date-time":"2015-01-27T10:30:56Z","timestamp":1422354656000},"page":"604-615","source":"Crossref","is-referenced-by-count":1,"title":["Formal and operational validation of a bus stop public transport network micro simulation"],"prefix":"10.1109","author":[{"given":"Pau Fonseca","family":"i Casas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Esteve Codina","family":"Sancho","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lidia Montero","family":"Mercade","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.Paz","family":"Linares","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cristina","family":"Montanola-Sales","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.simpat.2007.02.005"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1287\/trsc.20.2.117"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1080\/03081060802086512"},{"key":"ref13","article-title":"TCRP Report 19 (1996) Guidelines for the Location and Design of Bus Stops","year":"0","journal-title":"Transportation Research Board National Research Council 2011"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1080\/03081060500247747","article-title":"Effect of passenger-bus-traffic interactions on bus stop operations","volume":"28","author":"fern\u00e1ndez","year":"2005","journal-title":"Transportation Planning and Technology"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.trc.2010.02.002"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1080\/08839514.2014.905820"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2008.4736433"},{"key":"ref8","first-page":"291","article-title":"Bus-stops, congestion, and congested bus-stops","author":"gibson","year":"1989","journal-title":"Traffic Engineering and Control"},{"key":"ref7","article-title":"Towards a SDL-DEVS Simulator","author":"fonseca i casas","year":"2011","journal-title":"The Third International Conference on Advances in System Simulation"},{"key":"ref2","first-page":"324","article-title":"PASSION 5.0-a model for microscopic simulation of multiple berth bus stops","author":"fern\u00e1ndez","year":"2007","journal-title":"Traffic Engineering and Control"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0191-2615(81)90011-4"},{"key":"ref9","first-page":"117","article-title":"Modeling and Simulation of Rail Transit Pedestrian Flow","author":"hongfei","year":"2000","journal-title":"J Transon Svs En!! & IT9"}],"event":{"name":"2014 Winter Simulation Conference - (WSC 2014)","location":"Savanah, GA, USA","start":{"date-parts":[[2014,12,7]]},"end":{"date-parts":[[2014,12,10]]}},"container-title":["Proceedings of the Winter Simulation Conference 2014"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7002492\/7019868\/07019925.pdf?arnumber=7019925","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T00:25:39Z","timestamp":1498177539000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7019925\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/wsc.2014.7019925","relation":{},"subject":[],"published":{"date-parts":[[2014,12]]}}}