@proceedings{ICFEM14, editor = {S. Merz and J. Pang}, title = {Proceedings of the 16th International Conference on Formal Engineering Methods}, booktitle = {ICFEM 2014}, series = {Lecture Notes in Computer Science}, volume = {8229}, publisher = {Springer-Verlag}, year = {2014}, ee = {http://www.springer.com/computer/swe/book/978-3-319-11736-2} }