S-Expressions for Actions with Logic Temporal [video]

Source code: https://github.com/Viasat/salt