Comparison of different attributes in modeling a FSM based vending machine in 2 different styles | IEEE Conference Publication | IEEE Xplore