A Testing Theory for LOTOS using Deadlock Detection