TY - BOOK AU - Wagner,Ferdinand TI - Modeling software with finite state machines : : a practical approach SN - 1420013645 U1 - 005 PY - 2006/// CY - New York PB - Auerbach KW - Computer software Development ER -