@article{codescu2017specification,
  abstract = { We propose and study a framework for systematic  
  development of software systems (or models) from their
  formal specification.
  We introduce a language for refinement and branching of formal
  developments. We complement it with a notion of refinement tree and present
  proof calculi for checking correctness of refinements as well as
  their consistency.  Both calculi have been implemented in the
  Heterogeneous Tool Set (Hets), and have been integrated with other
  tools like model finders and conservativity checkers. },
  added-at = {2016-11-19T18:07:25.000+0100},
  author = {Codescu, Mihai and Mossakowski, Till and Sannella, Donald and Tarlecki, Andrzej},
  biburl = {https://www.bibsonomy.org/bibtex/2324d978258ac74c4720c76b68ee28cda/tillmo},
  doi = {10.1016/j.scico.2017.04.005},
  interhash = {70b666e1d31aa3feaadb340c48f201ce},
  intrahash = {324d978258ac74c4720c76b68ee28cda},
  journal = { Science of Computer Programming},
  keywords = {casl imported institution logic myown},
  pages = {1–49},
  timestamp = {2017-11-09T12:29:09.000+0100},
  title = {Specification refinements: calculi, tools, and applications},
  url = {https://www.sciencedirect.com/science/article/pii/S0167642317300801},
  volume = 144,
  year = 2017
}