@inproceedings{key,
 author = {Brian Demsky and Jin Zhou and William Montaz},
 title = {Recovery Tasks: An Automated Approach to Failure Recovery},
 booktitle = {Proceedings on the First International Conference on Runtime Verification},
 location = {Malta},
 month = {November},
 year = {2010}
}