1. van der Aalst, W.: Structural characterizations of sound workflow nets. Computing Science Reports 9263, Technische Universiteit Eindhoven (1996)
2. van der Aalst, W., Kindler, E., Desel, J.: Beyond asymmetric choice: a note on some extensions. Petri Net Newsl. 55, 3–13 (1998)
3. Apel, S., Batory, D., Kästner, C., Saake, G.: Feature-Oriented Software Product Lines - Concepts and Implementation. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-37521-7
4. Benduhn, F., Thüm, T., Lochau, M., Leich, T., Saake, G.: A survey on modeling techniques for formal behavioral verification of software product lines. In: VaMoS, pp. 80:80–80:87. ACM (2015). https://doi.org/10.1145/2701319.2701332, http://doi.acm.org/10.1145/2701319.2701332
5. Berre, D.L., Parrain, A.: The Sat4j library, release 2.2. JSAT 7(2–3), 59–64 (2010)