Introduction to the special session on formal verification of telecommunications systems | IEEE Conference Publication | IEEE Xplore