Giovanni Pezzulo Gianguglielmo Calvi Schema-Based Design and the AKIRA Schema Language: An Overview. 128-152 2006 conf/sab/2006a SAB ABiALS http://dx.doi.org/10.1007/978-3-540-74262-3_8 db/conf/sab/sab2006a.html#PezzuloC06a