The Software Tools for Technology Transfer special issue on monitoring “Runtime verification: the application perspective” has been published:
The list of papers and volume information is available at:
http://link.springer.com/journal/10009/17/2/page/1
I am co-editing this special issue with Lenore D. Zuck from University of Illinois at Chicago.