Formal Method to Derive Interoperability Requirements and Guarantees
International journal of advanced computer science and applications/International journal of advanced computer science & applications