@article(AL95,
 author       = "M. Abadi and L. Lamport",
 year         = "1995",
 title        = "Conjoining Specifications",
 journal      = "ACM Trans. Program. Lang. Syst.",
 volume       = "17",
 number       = "3",
 pages        = "507--534",
 url          = "http://doi.acm.org/10.1145/203095.201069",
)
@inproceedings(BvW94,
 author       = "R.-J. Back and J. von Wright",
 year         = "1994",
 title        = "Trace Refinement of Action Systems",
 editor       = "B. Jonsson and J. Parrow",
 booktitle    = "CONCUR",
 series       = "LNCS",
 volume       = "836",
 publisher    = "Springer",
 pages        = "367--384",
 url          = "http://dx.doi.org/10.1007/BFb0015020",
)
@article(BvW99,
 author       = "R.-J. Back and J. von Wright",
 year         = "1999",
 title        = "Reasoning algebraically about loops",
 journal      = "Acta Informatica",
 volume       = "36",
 number       = "4",
 pages        = "295--334",
 doi          = "10.1007/s002360050163",
)
@inproceedings(BC10,
 author       = "P. Baldan and S. Crafa",
 year         = "2010",
 title        = "A Logic for True Concurrency",
 editor       = "P. Gastin and F. Laroussinie",
 booktitle    = "CONCUR",
 series       = "LNCS",
 volume       = "6269",
 publisher    = "Springer",
 pages        = "147--161",
 url          = "http://dx.doi.org/10.1007/978-3-642-15375-4_11",
)
@article(BSTR11,
 author       = "S. B{\"a}umler and G. Schellhorn and B. Tofan and W. Reif",
 year         = "2011",
 title        = "Proving linearizability with temporal logic",
 journal      = "Formal Asp. Comput.",
 volume       = "23",
 number       = "1",
 pages        = "91--112",
 url          = "http://dx.doi.org/10.1007/s00165-009-0130-y",
)
@inproceedings(Boy03,
 author       = "J. Boyland",
 year         = "2003",
 title        = "Checking Interference with Fractional Permissions",
 editor       = "R. Cousot",
 booktitle    = "SAS",
 series       = "LNCS",
 volume       = "2694",
 publisher    = "Springer",
 pages        = "55--72",
 url          = "http://dx.doi.org/10.1007/3-540-44898-5_4",
)
@article(Bro01,
 author       = "M. Broy",
 year         = "2001",
 title        = "Refinement of time",
 journal      = "Theor. Comput. Sci.",
 volume       = "253",
 number       = "1",
 pages        = "3--26",
 url          = "http://dx.doi.org/10.1016/S0304-3975(00)00087-6",
)
@article(BH10,
 author       = "A. Burns and I. J. Hayes",
 year         = "2010",
 title        = "A timeband framework for modelling real-time systems",
 journal      = "Real-Time Systems",
 volume       = "45",
 number       = "1-2",
 pages        = "106--142",
 url          = "http://dx.doi.org/10.1007/s11241-010-9094-5",
)
@inproceedings(DB99,
 author       = "J. Derrick and E. A. Boiten",
 year         = "1999",
 title        = "Non-atomic Refinement in {Z}",
 editor       = "J. M. Wing and J. Woodcock and J. Davies",
 booktitle    = "World Congress on Formal Methods",
 series       = "LNCS",
 volume       = "1709",
 publisher    = "Springer",
 pages        = "1477--1496",
 url          = "http://dx.doi.org/10.1007/3-540-48118-4_28",
)
@article(DB03,
 author       = "J. Derrick and E. A. Boiten",
 year         = "2003",
 title        = "Relational Concurrent Refinement",
 journal      = "Formal Asp. Comput.",
 volume       = "15",
 number       = "2-3",
 pages        = "182--214",
 url          = "http://dx.doi.org/10.1007/s00165-003-0007-4",
)
@article(DB07,
 author       = "J. Derrick and E. A. Boiten",
 year         = "2007",
 title        = "Relational Concurrent Refinement with Internal Operations",
 journal      = "Electr. Notes Theor. Comput. Sci.",
 volume       = "187",
 pages        = "35--53",
 url          = "http://dx.doi.org/10.1016/j.entcs.2006.08.043",
)
@article(DB09,
 author       = "J. Derrick and E. A. Boiten",
 year         = "2009",
 title        = "Relational Concurrent Refinement: Automata",
 journal      = "Electr. Notes Theor. Comput. Sci.",
 volume       = "259",
 pages        = "21--34",
 url          = "http://dx.doi.org/10.1016/j.entcs.2009.12.015",
)
@proceedings(DBLP:conf/ifm/2012,
 editor       = "J. Derrick and S. Gnesi and D. Latella and H. Treharne",
 year         = "2012",
 title        = "Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings",
 series       = "LNCS",
 volume       = "7321",
 publisher    = "Springer",
 url          = "http://dx.doi.org/10.1007/978-3-642-30729-4",
)
@phdthesis(Don09,
 author       = "B. Dongol",
 year         = "2009",
 title        = "Progress-based verification and derivation of concurrent programs",
 school       = "The University of Queensland",
)
@article(DD12,
 author       = "B. Dongol and J. Derrick",
 year         = "2012",
 title        = "Proving linearisability via coarse-grained abstraction",
 journal      = "CoRR",
 volume       = "abs/1212.5116",
 url          = "http://arxiv.org/abs/1212.5116",
)
@article(DDH12,
 author       = "B. Dongol and J. Derrick and I. J. Hayes",
 year         = "2012",
 title        = "Fractional Permissions and Non-Deterministic Evaluators in Interval Temporal Logic",
 journal      = "ECEASST",
 volume       = "53",
 url          = "http://journal.ub.tu-berlin.de/eceasst/article/view/792",
)
@inproceedings(DH10,
 author       = "B. Dongol and I. J. Hayes",
 year         = "2010",
 title        = "Compositional Action System Derivation Using Enforced Properties",
 editor       = "C. Bolduc and J. Desharnais and B. Ktari",
 booktitle    = "MPC",
 series       = "LNCS",
 volume       = "6120",
 publisher    = "Springer",
 pages        = "119--139",
 url          = "http://dx.doi.org/10.1007/978-3-642-13321-3_9",
)
@inproceedings(DH12MPC,
 author       = "B. Dongol and I. J. Hayes",
 year         = "2012",
 title        = "Deriving Real-Time Action Systems Controllers from Multiscale System Specifications",
 editor       = "J. Gibbons and P. Nogueira",
 booktitle    = "MPC",
 series       = "LNCS",
 volume       = "7342",
 publisher    = "Springer",
 pages        = "102--131",
 url          = "http://dx.doi.org/10.1007/978-3-642-31113-0_7",
)
@article(DH12,
 author       = "B. Dongol and I. J. Hayes",
 year         = "2012",
 title        = "Deriving real-time action systems in a sampling logic",
 journal      = "Science of Computer Programming",
 number       = "0",
 doi          = "10.1016/j.scico.2012.07.008",
 url          = "http://www.sciencedirect.com/science/article/pii/S0167642312001360",
)
@inproceedings(DH12iFM,
 author       = "B. Dongol and I. J. Hayes",
 year         = "2012",
 title        = "Rely/Guarantee Reasoning for Teleo-reactive Programs over Multiple Time Bands",
 editor       = "Derrick",
 pages        = "39--53",
 url          = "http://dx.doi.org/10.1007/978-3-642-30729-4_4",
)
@inproceedings(DHMS12,
 author       = "B. Dongol and I. J. Hayes and L. Meinicke and K. Solin",
 year         = "2012",
 title        = "Towards an Algebra for Real-Time Programs",
 editor       = "W. Kahl and T. G. Griffin",
 booktitle    = "RAMICS",
 series       = "LNCS",
 volume       = "7560",
 publisher    = "Springer",
 pages        = "50--65",
 url          = "http://dx.doi.org/10.1007/978-3-642-33314-9_4",
)
@book(FvG99,
 author       = "W. H. J. Feijen and A. J. M. van Gasteren",
 year         = "1999",
 title        = "On a Method of Multiprogramming",
 publisher    = "Springer Verlag",
)
@inproceedings(Fid93,
 author       = "C. J. Fidge",
 year         = "1993",
 title        = "Real-Time Refinement",
 editor       = "J. Woodcock and P. G. Larsen",
 booktitle    = "FME",
 series       = "Lecture Notes in Computer Science",
 volume       = "670",
 publisher    = "Springer",
 pages        = "314--331",
 url          = "http://dx.doi.org/10.1007/BFb0024654",
)
@inproceedings(FUKH96,
 author       = "C. J. Fidge and M. Utting and P. Kearney and I. J. Hayes",
 year         = "1996",
 title        = "Integrating Real-Time Scheduling Theory and Program Refinement",
 editor       = "M.-C. Gaudel and J. Woodcock",
 booktitle    = "FME",
 series       = "LNCS",
 volume       = "1051",
 publisher    = "Springer",
 pages        = "327--346",
 url          = "http://dx.doi.org/10.1007/3-540-60973-3_95",
)
@article(HBDJ13,
 author       = "I. J. Hayes and A. Burns and B. Dongol and C. B. Jones",
 year         = "2013",
 title        = "Comparing Degrees of Non-Determinism in Expression Evaluation",
 journal      = "The Computer Journal",
 doi          = "10.1093/comjnl/bxt005",
 url          = "http://comjnl.oxfordjournals.org/content/early/2013/02/05/comjnl.bxt005.abstract",
)
@article(Heh90,
 author       = "E. C. R. Hehner",
 year         = "1990",
 title        = "A Practical Theory of Programming",
 journal      = "Sci. Comput. Program.",
 volume       = "14",
 number       = "2-3",
 pages        = "133--158",
 url          = "http://dx.doi.org/10.1016/0167-6423(90)90018-9",
)
@inproceedings(JP08,
 author       = "C. B. Jones and K. G. Pierce",
 year         = "2008",
 title        = "Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification",
 editor       = "E. and M. J. Butler and J. P. Bowen and P. Boca",
 booktitle    = "ABZ",
 series       = "Lecture Notes in Computer Science",
 volume       = "5238",
 publisher    = "Springer",
 pages        = "360--377",
 url          = "http://dx.doi.org/10.1007/978-3-540-87603-8_47",
)
@inproceedings(M-CW01,
 author       = "M. E. Majster-Cederbaum and J. Wu",
 year         = "2001",
 title        = "Action Refinement for True Concurrent Real Time",
 booktitle    = "ICECCS",
 publisher    = "IEEE Computer Society",
 pages        = "58--68",
 url          = "http://doi.ieeecomputersociety.org/10.1109/ICECCS.2001.930164",
)
@inproceedings(Mos00,
 author       = "Ben C. Moszkowski",
 year         = "2000",
 title        = "A Complete Axiomatization of Interval Temporal Logic with Infinite Time",
 booktitle    = "LICS",
 publisher    = "IEEE Computer Society",
 pages        = "241--252",
 url          = "http://doi.ieeecomputersociety.org/10.1109/LICS.2000.855773",
)
@book(deRoever98,
 author       = "W. P. de Roever and K. Engelhardt",
 year         = "1996",
 title        = "Data Refinement: {M}odel-oriented proof methods and their comparison",
 series       = "Cambridge Tracts in Theoretical Computer Science",
 volume       = "47",
 publisher    = "Cambridge University Press",
)
@inproceedings(SH93,
 author       = "D. Scholefield and H. S. M. Zedan and J. He",
 year         = "1993",
 title        = "Real-Time Refinement: Semantics and Application",
 editor       = "A. M. Borzyszkowski and S. Sokolowski",
 booktitle    = "MFCS",
 series       = "LNCS",
 volume       = "711",
 publisher    = "Springer",
 pages        = "693--702",
 url          = "http://dx.doi.org/10.1007/3-540-57182-5_60",
)
@book(ZH04,
 author       = "C. Zhou and M. R. Hansen",
 year         = "2004",
 title        = "Duration Calculus: A Formal Approach to Real-Time Systems",
 series       = "EATCS: Monographs in Theoretical Computer Science",
 publisher    = "Springer",
)