implementation("com.47deg.karat:karat-turbine:0.1.2-alpha.2")
karat-turbine offers a DSL for specifying systems using linear temporal logic.