Formal System Analysis (FSA) The research For information about the research group, please visit the FSA website.