-- n-bit alternating bit protocol.  Documentation can be found
   at the beginning of the SMV model.
       
  Author: Armin Biere  (armin@ira.uka.de, armin@cs.cmu.edu)
  Organization: Universitat Karlsruhe.
  Reference:
    @inproceedings{ArminBiere97ii,
      author = {Armin Biere},
      title = {{$\mu$}cke -- Efficient {$\mu$}-Calculus Model Checking},
      pages = {468--471},
      booktitle = {International Conference on Computer-Aided Verification},
      place = {Haifa, Israel},
      year = {1997},
      publisher = {Springer},
      series = {LNCS},
      number = {1254},
      editors = {Orna Grumberg}
    } 

  Recommended SMV flag: none

