1. 2011. IBM Global Commuter Pain Survey: Traffic Congestion Down Pain Way Up (available online last accessed: February 2017). (2011). http://www-03.ibm.com/press/us/en/pressrelease/35359.wss. 2011. IBM Global Commuter Pain Survey: Traffic Congestion Down Pain Way Up (available online last accessed: February 2017). (2011). http://www-03.ibm.com/press/us/en/pressrelease/35359.wss.
2. 2017. GOTransit (available online last accessed: May 2017). (2017). https://gotransitnc.org. 2017. GOTransit (available online last accessed: May 2017). (2017). https://gotransitnc.org.
3. 2017. TRipGo (available online last accessed: May 2017). (2017). https://tripgo.skedgo.com. 2017. TRipGo (available online last accessed: May 2017). (2017). https://tripgo.skedgo.com.
4. Dynamic input/output automata: A formal and compositional model for dynamic systems
5. Toward Enabling Convenient Urban Transit through Mobile Crowdsensing