Runtime verification first international conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings - Barringer, Howard (Lecture Notes in Computer Science,, 2010)