@Inproceedings{EPTCS105.10,
  author    = {Wang, Zheng  and Pu, Geguang and Li, Jianwen and He, Jifeng and Qin, Shengchao and Larsen, Kim G.  and Madsen, Jan  and Gu, Bin},
  year      = {2012},
  title     = {MDM: A Mode Diagram Modeling Framework},
  editor    = {\"Olveczky, Peter Csaba and Artho, Cyrille},
  booktitle = {{\rm Proceedings First International Workshop on}
               Formal Techniques for Safety-Critical Systems,
               {\rm Kyoto, Japan, November 12, 2012}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {105},
  publisher = {Open Publishing Association},
  pages     = {135-149},
  doi       = {10.4204/EPTCS.105.10},
}