Hugo Estrada 0001 Karen Najera Blanca Vázquez Alicia Martínez 0001 Juan Carlos Téllez Juan José Hierro Applying Tropos Modeling for Smart Mobility Applications Based on the FIWARE Platform. 85-90 2016 iStar https://ceur-ws.org/Vol-1674/iStar16_pp85-90.pdf conf/istar/2016 db/conf/istar/istar2016.html#EstradaNVMTH16