On the Functional Qualification of a Platform Model | IEEE Conference Publication | IEEE Xplore