2014-1 initial revision

Signed-off-by: helio <helio@roboken.esys.tsukuba.ac.jp>
Tightening of 2014-1 submission

Signed-off-by: helio <helio@roboken.esys.tsukuba.ac.jp>
Updated results for 2014-1 submission

Signed-off-by: helio <helio@roboken.esys.tsukuba.ac.jp>
Expanded conclusion and latest test results for 2014-1 submission

Signed-off-by: helio <helio@roboken.esys.tsukuba.ac.jp>
Final(ish) review of 2014-1 submission

Signed-off-by: helio <helio@roboken.esys.tsukuba.ac.jp>
2014-1 manuscript final (submitted) version

Signed-off-by: helio <helio@roboken.esys.tsukuba.ac.jp>
2014-1 manuscript PDF

Signed-off-by: helio <helio@roboken.esys.tsukuba.ac.jp>