Keynote Talk III: A formal methods perspective on product line engineering | IEEE Conference Publication | IEEE Xplore