Refinement of Decomposed Models by Interface Instantiation (BiBTeX)

@Article{hallerstede14:_refin_decom_model_inter_instan,
  author = 	 {Stefan Hallerstede and Thai Son Hoang},
  title = 	 {Refinement of Decomposed Models by Interface Instantiation},
  journal = 	 {Science of Computer Programming},
  year = 	 2014,
  month = 	 nov,
  volume = 	 94,
  number =       2,
  pages =        {144--163},
  note = 	 {\url{http://dx.doi.org/10.1016/j.scico.2014.05.005}}
}