Christoph Knieke Michaela Huhn Malte Lochau Modeling and Validation of Executable Requirements Using Live Activity Diagrams. 51-58 2008 SERA http://doi.ieeecomputersociety.org/10.1109/SERA.2008.10 conf/sera/2008 db/conf/sera/sera2008.html#KniekeHL08