Sequence Diagram Test Case Specification and Virtual Integration Analysis using Timed-Arc Petri Nets - Sven Sieverding; Christian Ellen; Peter Battram (FESCA, 2013)

Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements. - Christian Ellen; Sven Sieverding; Hardi Hungar (FMICS, 2014)

Expressing Best Practices in (Risk) Analysis and Testing of Safety-Critical Systems Using Patterns. - Wolfgang Herzner; Sven Sieverding; Omar Kacimi; Eckard Böde; Thomas Bauer 002; Brian Nielsen (ISSRE Workshops, 2014)