Derivation of test cases for LAP-B from a formal specification in LOTOS.