Detecting Feature Interactions in the Terrestrial Trunked Radio (TETRA) Network Using Promela and Xspin. - Carl B. Adekunle; Steve A. Schneider (SPIN, 1999)