Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings - Barringer, Howard (Springer Berlin Heidelberg, 2010)