This paper presents a formal model of a decision making system for public transport routes. The approach focuses on (1) environmental and societal sustainability aspects of green software engineering, (2) spatial planning and optimisation for smarter sustainable cities, and (3) user satisfaction with this information system for the various contexts of passenger, driver and overall system view.