Questions and Answers About Ten Formal Methods by Hartel, P, Butler, M, Currie, A, Henderson, P, Leuschel, M, Martin, A, Smith, A, Ultes−Nitsche, U, Walters, B