digraph G {
	rankdir=LR;
	ranksep=0.25;
	ratio=compress;
	size="8.5,8.5";
	node[fontsize=24.0, fontname="Helvetica"]

	AUT_ -> OG_
	AUT_ -> GR_ 
	GR_ -> SF_ 
	SF_ -> OG_
	SF_ -> TCG_
	SF_ -> R_ 
	TCG_ -> TC_
	AUTF_ -> R_ 
	R_ -> ASI_ 
	ASI_ -> V_ 
	V_ -> Re_
	TC_ -> R_
	OG_ -> OI_ 
	OI_ -> V_
	AUT_  [shape=box, label="Application\nUnder Test", URL="#application"]
	OG_   [label="Oracle\nGenerator" URL="#oracle-generator"]
	GR_   [label="GUI Ripper" URL="#gui-ripper"]
	SF_   [shape=box, label="Supporting\nFiles", URL="#supporting-files"]
	TCG_  [label="Test-Case\nGenerator" URL="#test-case-generator"]
	TC_   [shape=box, label="Test Cases", URL="#test-cases"]
	AUTF_ [shape=box, label="Application\nUnder Test,\nFaulty", URL="#application-faulty"]
	ASI_  [shape=box, label="Actual-State\nInformation" URL="#actual-state-information"]
	OI_   [shape=box, label="Oracle\nInformation" URL="#oracle-information"]
	R_    [label="Replayer" URL="#replayer"]
	V_    [label="Verifier" URL="#verifier"]
	Re_   [shape=box, label="Report" URL="#report"]
}