At the latest The 7th International Conference on Intelligent Environments, in Nottingham (UK), Fulvio Corno presented a talk on a formal verification approach for intelligent ambients, based on model checking, for ensuring the consistency between statechart reprenting the behavior of single domotic devices with their respective DogOnt description and properties.

See the paper on the PORTO open access repository or browse the presentation slides.