Ravindra Naik, Raveendra Kumar Medicherla, Ansuman Banerjee: Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems, ForMABS@ASE 2016, Singapore, Singapore, September 4, 2016. ACM 2016, ISBN 978-1-4503-4214-8