add specification to the system along with some safety constraints (mainly timing)