July 2013: The papers “On-the-Fly Control Software Synthesis” and “A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software” of Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, and Enrico Tronci have been presented at the International SPIN Symposium on Model Checking of Software (SPIN 2013).