@article{WangZZ17,
  author    = {Shuling Wang and
               Naijun Zhan and
               Lijun Zhang},
  title     = {A Compositional Modelling and Verification Framework for Stochastic
               Hybrid Systems},
  journal   = {Formal Asp. Comput.},
  volume    = {29},
  number    = {4},
  pages     = {751--775},
  year      = {2017},
}