Temporal and Spatial Coherence Verification in SMIL Documents with Hoare Logic and Disjunctive Constraints: A Hybrid Formal Method. - Fatma Zohra Mekahlia; Abdelghani Ghomari; Samy Yazid; Djamel Djenouri (J. Integr. Des. Process. Sci., 2016)