Formal methods after 15 years: Status and trends A paper based on contributions of the panelists at the FORmal TEchnique '95 Conference, Montreal, October 1995