A Survey of Formal Business Process VerificationFrom Soundness to Variability In Proceedings of the Third International Symposium on Business Modeling and Software Design BMSD - Volume 1, 198-203, 2013 , Noordwijkerhout, Netherlands