Domain Science and Engineering : A Foundation for Software Development - Bjørner, Dines. (Springer International Publishing AG, 2021)