Formal semantics for PSL modeling layer and application to the verification of transactional models | IEEE Conference Publication | IEEE Xplore