diff -r 5526520f323f -r 7920ca086e5c doc/images/fsm-coedown.eps
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc/images/fsm-coedown.eps	Mon Sep 25 15:53:33 2006 +0000
@@ -0,0 +1,319 @@
+%!PS-Adobe-2.0 EPSF-2.0
+%%Title: fsm-coedown.fig
+%%Creator: fig2dev Version 3.2 Patchlevel 4
+%%CreationDate: Sat Aug  5 09:58:10 2006
+%%For: fp@jupiter (Florian Pose)
+%%BoundingBox: 0 0 539 160
+%%Magnification: 1.0000
+%%EndComments
+/$F2psDict 200 dict def
+$F2psDict begin
+$F2psDict /mtrx matrix put
+/col-1 {0 setgray} bind def
+/col0 {0.000 0.000 0.000 srgb} bind def
+/col1 {0.000 0.000 1.000 srgb} bind def
+/col2 {0.000 1.000 0.000 srgb} bind def
+/col3 {0.000 1.000 1.000 srgb} bind def
+/col4 {1.000 0.000 0.000 srgb} bind def
+/col5 {1.000 0.000 1.000 srgb} bind def
+/col6 {1.000 1.000 0.000 srgb} bind def
+/col7 {1.000 1.000 1.000 srgb} bind def
+/col8 {0.000 0.000 0.560 srgb} bind def
+/col9 {0.000 0.000 0.690 srgb} bind def
+/col10 {0.000 0.000 0.820 srgb} bind def
+/col11 {0.530 0.810 1.000 srgb} bind def
+/col12 {0.000 0.560 0.000 srgb} bind def
+/col13 {0.000 0.690 0.000 srgb} bind def
+/col14 {0.000 0.820 0.000 srgb} bind def
+/col15 {0.000 0.560 0.560 srgb} bind def
+/col16 {0.000 0.690 0.690 srgb} bind def
+/col17 {0.000 0.820 0.820 srgb} bind def
+/col18 {0.560 0.000 0.000 srgb} bind def
+/col19 {0.690 0.000 0.000 srgb} bind def
+/col20 {0.820 0.000 0.000 srgb} bind def
+/col21 {0.560 0.000 0.560 srgb} bind def
+/col22 {0.690 0.000 0.690 srgb} bind def
+/col23 {0.820 0.000 0.820 srgb} bind def
+/col24 {0.500 0.190 0.000 srgb} bind def
+/col25 {0.630 0.250 0.000 srgb} bind def
+/col26 {0.750 0.380 0.000 srgb} bind def
+/col27 {1.000 0.500 0.500 srgb} bind def
+/col28 {1.000 0.630 0.630 srgb} bind def
+/col29 {1.000 0.750 0.750 srgb} bind def
+/col30 {1.000 0.880 0.880 srgb} bind def
+/col31 {1.000 0.840 0.000 srgb} bind def
+/col32 {0.555 0.555 0.555 srgb} bind def
+
+end
+save
+newpath 0 160 moveto 0 0 lineto 539 0 lineto 539 160 lineto closepath clip newpath
+-15.8 192.8 translate
+1 -1 scale
+
+/cp {closepath} bind def
+/ef {eofill} bind def
+/gr {grestore} bind def
+/gs {gsave} bind def
+/sa {save} bind def
+/rs {restore} bind def
+/l {lineto} bind def
+/m {moveto} bind def
+/rm {rmoveto} bind def
+/n {newpath} bind def
+/s {stroke} bind def
+/sh {show} bind def
+/slc {setlinecap} bind def
+/slj {setlinejoin} bind def
+/slw {setlinewidth} bind def
+/srgb {setrgbcolor} bind def
+/rot {rotate} bind def
+/sc {scale} bind def
+/sd {setdash} bind def
+/ff {findfont} bind def
+/sf {setfont} bind def
+/scf {scalefont} bind def
+/sw {stringwidth} bind def
+/tr {translate} bind def
+/tnt {dup dup currentrgbcolor
+  4 -2 roll dup 1 exch sub 3 -1 roll mul add
+  4 -2 roll dup 1 exch sub 3 -1 roll mul add
+  4 -2 roll dup 1 exch sub 3 -1 roll mul add srgb}
+  bind def
+/shd {dup dup currentrgbcolor 4 -2 roll mul 4 -2 roll mul
+  4 -2 roll mul srgb} bind def
+ /DrawEllipse {
+	/endangle exch def
+	/startangle exch def
+	/yrad exch def
+	/xrad exch def
+	/y exch def
+	/x exch def
+	/savematrix mtrx currentmatrix def
+	x y tr xrad yrad sc 0 0 1 startangle endangle arc
+	closepath
+	savematrix setmatrix
+	} def
+
+/$F2psBegin {$F2psDict begin /$F2psEnteredState save def} def
+/$F2psEnd {$F2psEnteredState restore end} def
+
+$F2psBegin
+10 setmiterlimit
+0 slj 0 slc
+ 0.06299 0.06299 sc
+%
+% Fig objects follow
+%
+% 
+% here starts figure with depth 50
+% Ellipse
+7.500 slw
+n 360 675 101 101 0 360 DrawEllipse gs 0.00 setgray ef gr gs col0 s gr
+
+% Polyline
+2 slj
+gs  clippath
+521 1018 m 573 987 l 495 857 l 532 976 l 444 888 l cp
+eoclip
+n 405 765 m
+ 540 990 l gs 0.00 setgray ef gr gs col0 s gr gr
+
+% arrowhead
+0 slj
+n 444 888 m 532 976 l 495 857 l 444 888 l  cp gs 0.00 setgray ef gr  col0 s
+% Ellipse
+n 1177 1253 855 360 0 360 DrawEllipse gs col0 s gr
+
+/Helvetica ff 180.00 scf sf
+1177 1298 m
+gs 1 -1 sc (START) dup sw pop 2 div neg 0 rm  col0 sh gr
+% Ellipse
+n 3323 1253 855 360 0 360 DrawEllipse gs col0 s gr
+
+/Helvetica ff 180.00 scf sf
+3323 1298 m
+gs 1 -1 sc (REQUEST) dup sw pop 2 div neg 0 rm  col0 sh gr
+% Ellipse
+n 5595 1253 855 360 0 360 DrawEllipse gs col0 s gr
+
+/Helvetica ff 180.00 scf sf
+5595 1298 m
+gs 1 -1 sc (CHECK) dup sw pop 2 div neg 0 rm  col0 sh gr
+% Ellipse
+n 7845 1253 855 360 0 360 DrawEllipse gs col0 s gr
+
+/Helvetica ff 180.00 scf sf
+7845 1298 m
+gs 1 -1 sc (RESPONSE) dup sw pop 2 div neg 0 rm  col0 sh gr
+% Ellipse
+n 7823 2693 855 360 0 360 DrawEllipse gs col0 s gr
+
+% Ellipse
+n 7823 2700 748 315 0 360 DrawEllipse gs col0 s gr
+
+/Helvetica ff 180.00 scf sf
+7823 2738 m
+gs 1 -1 sc (END) dup sw pop 2 div neg 0 rm  col0 sh gr
+% Ellipse
+n 4448 2693 855 360 0 360 DrawEllipse gs col0 s gr
+
+% Ellipse
+n 4448 2700 748 315 0 360 DrawEllipse gs col0 s gr
+
+/Helvetica ff 180.00 scf sf
+4448 2738 m
+gs 1 -1 sc (ERROR) dup sw pop 2 div neg 0 rm  col0 sh gr
+% Polyline
+2 slj
+gs  clippath
+2490 1290 m 2490 1230 l 2339 1230 l 2459 1260 l 2339 1290 l cp
+eoclip
+n 2025 1260 m 2027 1260 l 2031 1260 l 2039 1260 l 2049 1260 l 2062 1260 l
+ 2076 1260 l 2094 1260 l 2114 1260 l 2139 1260 l 2169 1260 l
+ 2205 1260 l 2233 1260 l 2261 1260 l 2288 1260 l 2312 1260 l
+ 2336 1260 l 2358 1260 l 2379 1260 l 2399 1260 l 2418 1260 l
+ 2435 1260 l 2449 1260 l
+ 2475 1260 l gs col0 s gr gr
+
+% arrowhead
+0 slj
+n 2339 1290 m 2459 1260 l 2339 1230 l 2339 1290 l  cp gs 0.00 setgray ef gr  col0 s
+% Polyline
+2 slj
+gs  clippath
+4740 1290 m 4740 1230 l 4589 1230 l 4709 1260 l 4589 1290 l cp
+eoclip
+n 4185 1260 m
+ 4725 1260 l gs col0 s gr gr
+
+% arrowhead
+0 slj
+n 4589 1290 m 4709 1260 l 4589 1230 l 4589 1290 l  cp gs 0.00 setgray ef gr  col0 s
+% Polyline
+2 slj
+gs  clippath
+6990 1290 m 6990 1230 l 6839 1230 l 6959 1260 l 6839 1290 l cp
+eoclip
+n 6435 1260 m
+ 6975 1260 l gs col0 s gr gr
+
+% arrowhead
+0 slj
+n 6839 1290 m 6959 1260 l 6839 1230 l 6839 1290 l  cp gs 0.00 setgray ef gr  col0 s
+% Polyline
+2 slj
+gs  clippath
+5372 918 m 5431 910 l 5412 761 l 5398 884 l 5352 768 l cp
+eoclip
+n 5760 900 m 5760 897 l 5761 890 l 5763 879 l 5765 862 l 5767 842 l
+ 5768 818 l 5770 792 l 5770 765 l 5770 737 l 5768 710 l
+ 5763 683 l 5757 657 l 5747 631 l 5733 607 l 5715 585 l
+ 5698 571 l 5681 560 l 5664 551 l 5648 545 l 5634 540 l
+ 5621 537 l 5609 535 l 5599 533 l 5589 533 l 5580 533 l
+ 5571 533 l 5561 533 l 5551 535 l 5539 537 l 5526 540 l
+ 5512 545 l 5496 551 l 5479 560 l 5462 571 l 5445 585 l
+ 5427 607 l 5413 631 l 5403 657 l 5397 683 l 5392 710 l
+ 5390 737 l 5390 765 l 5390 792 l 5392 818 l 5393 842 l
+ 5395 862 l
+ 5400 900 l gs col0 s gr gr
+
+% arrowhead
+0 slj
+n 5352 768 m 5398 884 l 5412 761 l 5352 768 l  cp gs 0.00 setgray ef gr  col0 s
+% Polyline
+2 slj
+ [60] 0 sd
+gs  clippath
+3900 2415 m 3948 2379 l 3857 2258 l 3905 2372 l 3809 2294 l cp
+eoclip
+n 3555 1620 m 3555 1622 l 3556 1625 l 3557 1631 l 3559 1640 l 3562 1652 l
+ 3566 1667 l 3570 1684 l 3575 1704 l 3580 1725 l 3587 1748 l
+ 3593 1772 l 3601 1798 l 3610 1824 l 3619 1853 l 3630 1883 l
+ 3643 1915 l 3657 1950 l 3673 1987 l 3690 2025 l 3708 2063 l
+ 3727 2098 l 3744 2131 l 3761 2161 l 3777 2189 l 3793 2214 l
+ 3808 2238 l 3823 2260 l 3837 2280 l 3850 2299 l 3863 2317 l
+ 3875 2333 l 3886 2347 l 3895 2359 l 3903 2369 l
+ 3915 2385 l gs col0 s gr gr
+ [] 0 sd
+% arrowhead
+0 slj
+n 3809 2294 m 3905 2372 l 3857 2258 l 3809 2294 l  cp gs 0.00 setgray ef gr  col0 s
+% Polyline
+2 slj
+gs  clippath
+5038 2379 m 5086 2415 l 5177 2294 l 5081 2372 l 5129 2258 l cp
+eoclip
+n 5431 1620 m 5431 1622 l 5430 1625 l 5429 1631 l 5427 1640 l 5424 1652 l
+ 5420 1667 l 5416 1684 l 5411 1704 l 5406 1725 l 5399 1748 l
+ 5393 1772 l 5385 1798 l 5376 1824 l 5367 1853 l 5356 1883 l
+ 5343 1915 l 5329 1950 l 5313 1987 l 5296 2025 l 5278 2063 l
+ 5259 2098 l 5242 2131 l 5225 2161 l 5209 2189 l 5193 2214 l
+ 5178 2238 l 5163 2260 l 5149 2280 l 5136 2299 l 5123 2317 l
+ 5111 2333 l 5100 2347 l 5091 2359 l 5083 2369 l
+ 5071 2385 l gs col0 s gr gr
+
+% arrowhead
+0 slj
+n 5129 2258 m 5081 2372 l 5177 2294 l 5129 2258 l  cp gs 0.00 setgray ef gr  col0 s
+% Polyline
+2 slj
+ [60] 0 sd
+gs  clippath
+3655 2641 m 3664 2582 l 3514 2561 l 3629 2608 l 3505 2620 l cp
+eoclip
+n 1620 1575 m 1621 1576 l 1622 1577 l 1625 1581 l 1629 1586 l 1635 1593 l
+ 1643 1602 l 1653 1613 l 1665 1627 l 1680 1643 l 1696 1661 l
+ 1714 1680 l 1734 1702 l 1756 1725 l 1779 1748 l 1804 1773 l
+ 1830 1799 l 1858 1825 l 1887 1852 l 1918 1879 l 1950 1907 l
+ 1984 1935 l 2021 1964 l 2059 1993 l 2100 2023 l 2144 2054 l
+ 2191 2086 l 2241 2118 l 2295 2151 l 2352 2184 l 2413 2217 l
+ 2475 2250 l 2535 2280 l 2595 2308 l 2654 2335 l 2711 2359 l
+ 2767 2382 l 2821 2403 l 2874 2422 l 2925 2440 l 2974 2456 l
+ 3021 2471 l 3068 2485 l 3113 2498 l 3157 2510 l 3200 2521 l
+ 3242 2531 l 3283 2541 l 3323 2550 l 3362 2558 l 3399 2565 l
+ 3434 2572 l 3467 2579 l 3498 2585 l 3526 2590 l 3552 2594 l
+ 3574 2598 l 3593 2601 l 3609 2604 l 3621 2606 l 3631 2608 l
+
+ 3645 2610 l gs col0 s gr gr
+ [] 0 sd
+% arrowhead
+0 slj
+n 3505 2620 m 3629 2608 l 3514 2561 l 3505 2620 l  cp gs 0.00 setgray ef gr  col0 s
+% Polyline
+2 slj
+gs  clippath
+5295 2582 m 5304 2641 l 5454 2620 l 5331 2608 l 5445 2561 l cp
+eoclip
+n 7340 1575 m 7339 1576 l 7338 1577 l 7335 1581 l 7331 1586 l 7325 1593 l
+ 7317 1602 l 7307 1613 l 7295 1627 l 7280 1643 l 7264 1661 l
+ 7246 1680 l 7226 1702 l 7204 1725 l 7181 1748 l 7156 1773 l
+ 7130 1799 l 7102 1825 l 7073 1852 l 7042 1879 l 7010 1907 l
+ 6976 1935 l 6939 1964 l 6901 1993 l 6860 2023 l 6816 2054 l
+ 6769 2086 l 6719 2118 l 6665 2151 l 6608 2184 l 6547 2217 l
+ 6485 2250 l 6425 2280 l 6365 2308 l 6306 2335 l 6249 2359 l
+ 6193 2382 l 6139 2403 l 6086 2422 l 6035 2440 l 5986 2456 l
+ 5939 2471 l 5892 2485 l 5847 2498 l 5803 2510 l 5760 2521 l
+ 5718 2531 l 5677 2541 l 5637 2550 l 5598 2558 l 5561 2565 l
+ 5526 2572 l 5493 2579 l 5462 2585 l 5434 2590 l 5408 2594 l
+ 5386 2598 l 5367 2601 l 5351 2604 l 5339 2606 l 5329 2608 l
+
+ 5315 2610 l gs col0 s gr gr
+
+% arrowhead
+0 slj
+n 5445 2561 m 5331 2608 l 5454 2620 l 5445 2561 l  cp gs 0.00 setgray ef gr  col0 s
+% Polyline
+2 slj
+gs  clippath
+7800 2355 m 7860 2355 l 7860 2204 l 7830 2324 l 7800 2204 l cp
+eoclip
+n 7830 1620 m
+ 7830 2340 l gs col0 s gr gr
+
+% arrowhead
+0 slj
+n 7800 2204 m 7830 2324 l 7860 2204 l 7800 2204 l  cp gs 0.00 setgray ef gr  col0 s
+% here ends figure;
+$F2psEnd
+rs
+showpage