System Specification and Design Languages: Selected Contributions from FDL 2010 (Lecture Notes in Electrical Engineering, Band 106)