1. AppInsights (2021). https://docs.microsoft.com/en-us/azure/azure-monitor/app/app-insights-overview
2. Barr, E.T., Vo, T., Le, V., Su, Z.: Automatic detection of floating-point exceptions. In: POPL (2013)
3. Bosque repository (2021). https://github.com/microsoft/BosqueLanguage
4. Dapr (2021). https://dapr.io/
5. de Moura, L., Bjørner, N., et al.: Z3 SMT Theorem Prover (2021). https://github.com/Z3Prover/z3