Title: ACSL simulation for aircraft control design THESIS
First published: 1988