User Manual:
* Tutorial introduction - interface automata example
* Interface Automata - in context of reactive modules
* User commands - Parsing, Composing, Printing ??
* Methodology

List of available commands:
read_intf 
sl_make_intf_out
sl_print_levels
sl_compose_intf
sl_check_intf_ref
sl_print_intf
sl_strengthen_intf_inv
sl_print_intf_support

More commands:
sl_copy
sl_checkimpl
sl_compose
sl_wcontr
sl_modwcontr
sl_lcontr
sl_lcontr_n
sl_reach
sl_reach_histonly
sl_checkinv
sl_checktrinv
sl_initrand
sl_checkrandinv
sl_checksim
sl_trinv
sl_contrreachspec
sl_erase
sl_and
sl_or
sl_not
sl_true
sl_restrict
sl_getinit
sl_gettr
sl_bddsize
sl_predsize
sl_maketrinv
sl_getfsmvars
sl_makevarlist
sl_conjoin_and_copy