3rd International Workshop on the Twin Peaks of Requirements and Architecture (TwinPeaks): proceedings; July 16, 2013, Rio de Janeiro, Brasil (IEEE Xplore Digital Library, 2013)