Formal Languages and Analysis of Contract-Oriented Software (FLACOS'10) -special issue with selected papers