DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles. - Lennon C. Chaves; Iury Bessa; Hussama Ismail; Adriano Bruno dos Santos Frutuoso; Lucas C. Cordeiro; Eddie Batista de Lima Filho (IEEE Trans. Reliab., 2018)