Title: Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems