You are about to access our book library "Formal Methods for Safety and Security: Case Studies for Aerospace Applications full version" .