We give a rather incomplete list of sources that we found useful in the development of libFAUDES and related applications. Please feel free to suggest further items for this list.
libFAUDES 2.23h --- 2014.04.03 --- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-pushdown-timed-simulator-iodevice-luabindings"