Reference:

Ashutosh Gupta, Corneliu Popeea, and Andrey Rybalchenko. Non-monotonic refinement of control abstraction for concurrent programs. In Bouajjani and Chin, pages 188–202.

Suggested BibTeX entry:

@inproceedings{DBLP:confatvaGuptaPR10,
    author = {Ashutosh Gupta and Corneliu Popeea and Andrey Rybalchenko},
    booktitle = {ATVA},
    editor = {Ahmed Bouajjani and Wei-Ngan Chin},
    pages = {188-202},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Non-monotonic Refinement of Control Abstraction for Concurrent Programs},
    volume = {6252},
    year = {2010}
}