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