Felix Redmill A Community Club on Safety-Critical Systems. 41-48 2002 conf/scs/2002 SCS http://crpit.com/confpapers/CRPITV15Redmill.pdf db/conf/scs/scs2002.html#Redmill02