Static analysis of Sequential Function Charts using abstract interpretation | IEEE Conference Publication | IEEE Xplore