Paper  bibtex   

@inproceedings{DBLP:conf/sigsoft/JacksonK10,
  author    = {Daniel Jackson and
               Eunsuk Kang},
  title     = {Separation of concerns for dependable software design},
  booktitle = {Proceedings of the Workshop on Future of Software Engineering
               Research, FoSER 2010,
               Santa Fe, NM, USA, November 7-11, 2010},
  year      = {2010},
  pages     = {173-176},
url_paper={pubs/2010/future-workshop-10.pdf}
}