Added code for a specification DSL