DOCASL: an Observer-based CASL extension for Dynamic Specifications