initial commit of fuel tanks example
update imports
rm redundant \
update discretize args to its new signature
improve module docstrings
start using logging
rm redundant filenames: smv, spc, aut
change major comments from single- to multi-line
plot partition associated to each mode
rewrite specs to use spec.GRSpec
fix timing messages, move ploting outside timing
style definition of dynamics, state space and continuous propositions
rename disturbance set: D -> W
update merge_partitions to new AbstractSysDyn, PropPreservingPartition classes
more updating of merge_partitions to new classes
update interface of get_transitions to new AbstractSysDyn, PropPreservingPartition
bugfix: access AbstractSysDyn.ppp
store transitions of merged abstraction in OpenFTS
update spec to use int variable u_in for env action
replace create_files by call to synthesize