add ToDotFormat method