Formal testing for separation assurance. - Dimitra Giannakopoulou; David H. Bushnell; Johann Schumann; Heinz Erzberger; Karen Heere (Ann. Math. Artif. Intell., 2011)