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