Chapter 31 – Algorithmic Business – In Need of Model-Based Testing