Media type: E-Article Title: Runtime Verification: Internal versus External DSLs for Trace Analysis Contributor: Barringer, Howard; Havelund, Klaus imprint: Springer Berlin Heidelberg, 2012 Published in: Runtime Verification Language: Not determined DOI: 10.1007/978-3-642-29860-8_1 ISSN: 0302-9743; 1611-3349 Origination: Footnote: