LINS - Enterprise Integration Patterns Formalization with Event B