Smart City Platform by the Software Systems Research Group - IME-USP, from InterSCity INCT Project
http://interscity.org/