PL FSM: An Approach and a Tool for the Application of FSM in SPL Environments | IEEE Conference Publication | IEEE Xplore