Enhancing reliability of feature modeling with transforming representation into abstract behavioral specification (ABS) | IEEE Conference Publication | IEEE Xplore