Formal methods applied to plywood production | IEEE Conference Publication | IEEE Xplore