Formal Verification for Feature-Based Composition of Workflows - Anton Setzer (SERENE 2018:10th International Workshop on Software Engineering for Resilient Systems, 2018)