Shkarupylo, V. V. A MODEL OF MULTI-BEHAVIORAL COMPOSITE WEB SERVICE TLA-SPECIFICATION. RIC 2013.