2008 Forum on Specification, Verification and Design Languages