This book examines the problem of interoperability related to operating rules and gives an overview of the formal method approaches related to this subject.  Meer