2021-04-122014-02-011745973717459745http://hdl.handle.net/10784/28608Most interactive scenarios are based on informal specifications, so that it is not possible to formally verify properties of such systems. We advocate the need for a general and formal model aiming at ensuring safe executions of interactive multimedia sceenghttps://v2.sherpa.ac.uk/id/publication/issn/1745-9737info:eu-repo/semantics/article2021-04-12Toro, Mauricio10.1080/17459737.2013.870610