Advances in Software Specification and Verification - Introduction.