Conference, CLOSER 2012, Porto, Portugal, April 18-21, 2012. Revised Selected Papers