A model of Sao Paulo's Metropolitan Transport Network in Concurrent Sequential Processes (CSP)