A case study on consistency management of business and IT process models in banking · Study