Modeling of the non-deterministic synchronization behaviors in SMIL2.0 documents | IEEE Conference Publication | IEEE Xplore