@article{Raji2010a, Author = {Amine Raji and Philippe Dhaussy}, Date-Added = {2010-03-02 16:34:08 +0100}, Date-Modified = {2010-08-26 19:30:00 +0200}, Journal = {IDM}, Local-Url = {file://localhost/Users/amine/Documents/Papers/2010/Automatic%20Formal%20Model%20Derivation%20from%20Use%20Cases.pdf}, Month = {Mar}, Pages = {1--8}, Rating = {0}, Title = {Automatic Formal Model Derivation from Use Cases}, Uri = {papers://A51F8313-82CE-4A27-B72F-5E5502BF1679/Paper/p4404}, Year = {2010}, Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUIJidUJHRvcFgkb2JqZWN0c1gkdmVyc2lvblkkYXJjaGl2ZXLRBgdUcm9vdIABqAkKFRYXGyIjVSRudWxs0wsMDQ4RFFpOUy5vYmplY3RzV05TLmtleXNWJGNsYXNzog8QgASABqISE4ACgAOAB1lhbGlhc0RhdGFccmVsYXRpdmVQYXRo0hgNGRpXTlMuZGF0YU8RAfwAAAAAAfwAAgAAA2xlbwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAMf3jDJIKwAAAAkUlR9BdXRvbWF0aWMgRm9ybWFsIE1vZGUjOTE0QTAucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACRSgx7FI9AAAAAAAAAAAAAEABAAACSAAAAAAAAAAAAAAAAAAAAAEMjAxMAAQAAgAAMf3cBIAAAARAAgAAMexOuQAAAABABQACRSVAAkSQwAEBM4ABATBAANXyAACAEVsZW86VXNlcnM6YW1pbmU6RG9jdW1lbnRzOlBhcGVyczoyMDEwOkF1dG9tYXRpYyBGb3JtYWwgTW9kZSM5MTRBMC5wZGYAAA4AagA0AEEAdQB0AG8AbQBhAHQAaQBjACAARgBvAHIAbQBhAGwAIABNAG8AZABlAGwAIABEAGUAcgBpAHYAYQB0AGkAbwBuACAAZgByAG8AbQAgAFUAcwBlACAAQwBhAHMAZQBzAC4AcABkAGYADwAIAAMAbABlAG8AEgBWVXNlcnMvYW1pbmUvRG9jdW1lbnRzL1BhcGVycy8yMDEwL0F1dG9tYXRpYyBGb3JtYWwgTW9kZWwgRGVyaXZhdGlvbiBmcm9tIFVzZSBDYXNlcy5wZGYAEwABLwAAFQACAAz//wAAgAXSHB0eH1gkY2xhc3Nlc1okY2xhc3NuYW1lox8gIV1OU011dGFibGVEYXRhVk5TRGF0YVhOU09iamVjdF8QTS4uL0RvY3VtZW50cy9QYXBlcnMvMjAxMC9BdXRvbWF0aWMgRm9ybWFsIE1vZGVsIERlcml2YXRpb24gZnJvbSBVc2UgQ2FzZXMucGRm0hwdJCWiJSFcTlNEaWN0aW9uYXJ5EgABhqBfEA9OU0tleWVkQXJjaGl2ZXIACAARABYAHwAoADIANQA6ADwARQBLAFIAXQBlAGwAbwBxAHMAdgB4AHoAfACGAJMAmACgAqACogKnArACuwK/As0C1ALdAy0DMgM1A0IDRwAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAANZ}}