A retrospective on the reactive event calculus and commitment modeling language