Formal Method to Derive Interoperability Requirements and Guarantees Journal title: International Journal of Advanced Computer Science & Applications Authors: Hazem El- Gendy , Magdi Amer , Ihab Talkhan Subject(s):