
\begin{picture}(300,120)
\put(0,40){
	\begin{picture}(60,30)
	\put(0,0){\framebox(60,30){$\begin{array}{c}constrained \\ 
						input \end{array} $}}
	\end{picture}}
\put(65,55){\vector(1,0){15}}
\put(80,30){
	\begin{picture}(65,50)
	\put(0,0){\framebox(65,50){$\begin{array}{c}N-version \\ 
						NASA \ specs \\ 
						code \end{array} $}}
	\end{picture}}
\put(150,55){\vector(1,0){15}}

\put(165,30){
	\begin{picture}(50,50)
	\put(0,25){\line(1,1){25}	}
	\put(0,25){\line(1,-1){25}	}
	\put(7,23){acceptor}
	\put(50,25){\line(-1,1){25}	}
	\put(50,25){\line(-1,-1){25}	}
	\end{picture}}
\put(220,55){\vector(1,0){20}}
\put(220,57){NO}
\put(195,30){\line(0,-1){10}}
\put(195,20){YES}
%\put(185,20){YES}
\put(190,20){\oval(10,10)[br]}
\put(190,15){\vector(-1,0){140}}
\put(240,30){
	\begin{picture}(95,55)
	\put(0,0){\framebox(95,55){$\begin{array}{c}Retry \ Block \\ 
						based \ on \\ 
						mutation \ analysis \\
						results \end{array} $}}
	\end{picture}}
\put(280,85){\line(0,1){10}}
\put(275,95){\oval(10,10)[tr]}
\put(275,100){\line(-1,0){150}}
\put(125,95){\oval(10,10)[tl]}
\put(120,95){\vector(0,-1){15}}

\put(0,10){ $\begin{array}{c} System \\ Output \end{array}$ }
\end{picture}
