Testovací systém SMOTL - Grigar, Martin (1985)