Added the graphviz extension and model derivation article
Added notes on availability