Interfaces and Binding in Component Based Development of Formal Models