This paper presents VeriJ, a domain specific language (DSL) which consists of a subset of the Java language, with the aim to help engineers to easily build the state space encoding of a complex system. This language will allow to apply existing verification and control techniques based on a hierarchical variant of Decision Diagrams. The example of an automated highway system is used to present the basic constructs of the language.