Andrzej Bialas Semiformal Approach to the IT Security Development. 3-10 2007 conf/depcos/2007 DepCoS-RELCOMEX http://doi.ieeecomputersociety.org/10.1109/DEPCOS-RELCOMEX.2007.43 db/conf/depcos/depcos2007.html#Bialas07