add specifications to the system along with some safety constraints (mainly time contraints)