An Approach to Model Checking Ada Programs. - José Miguel Faria; João Martins; Jorge Sousa Pinto (Ada-Europe, 2012)