BTL - A language for testing electrical equipment. - Alberto Dapra; Gabriele Castellari; Stefano Crespi-Reghizzi (Euromicro Newsletter, 1980)