https://123dok.net/document/dzxwwgdq-statistical-abstraction-boosts-design-and-test-efficiency-of-evolving-critical-systems.html