A12 Kernel provides a domain-specific language for model-based plausibility checks, computations,...