FM 2012: Formal Methods [electronic resource] : 18th International Symposium,