Some examples include the well-known shellcheck shell analysis tool, or the Ivory language embedded in Haskell used in real world autopilots for flight systems described in this experience report: https://leepike.github.io/pubs/embedded-experience.pdf, or the copilot language powering monitoring systems for flight systems at NASA (https://copilot-language.github.io/index.html).