Formal and operational validation of a bus stop public transport network micro simulation | Publicación