NASA Formal Methods - Brat (Springer Berlin Heidelberg, 2013)