Conformance testing of the STP-ISS protocol implementation by means of temporal logic | IEEE Conference Publication | IEEE Xplore